• Hours
  • Libraries & Collections
    • Joyner Library
    • Laupus Health Sciences Library
    • Music Library

    • Digital Collections
    • Special Collections
    • Teaching Resources Center
    • The ScholarShip Institutional Repository
    • Country Doctor Museum
  • Get Help
ECU Libraries Catalog
Browse
  • Call Number
  • Title
  • Author
  • Subject
  • Series
Advanced Search
Course Reserves
Suggest a Purchase
My Account
Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.
Find Materials By

Format

  • Electronic3
  • Print2
  • Book1
  • Archival & Manuscript Material0
  • Atlas0

Library Location

  • Joyner Library4
  • Laupus Library2
  • Music Library2

Publication Date

  • Since 20200
  • 2010-20190
  • 2000-20094
  • 1990-19990
  • 1980-19890

Call Number

  • Q - Science2

Collection

  • Joyner E-Resources2
  • Joyner Stacks2
  • Laupus E-Resources2

Language

  • English4

Genre

  • Congresses4
  • Electronic books2
  • Lambda calculi1
  • RDP1
  • Rewriting1

Era

    Region

      Search Results

      Did you mean: pawel or paper or pages or panel or paleo

      Start Over
      You searched for: author Urzyczyn, Paweł. Remove constraint
      Showing 1 - 4 of 4 results
      • Relevance
      • Year (Descending)
      • Year (Ascending)
      • Author (Ascending)
      • Author (Descending)
      • Title (Ascending)
      • Title (Descending)
      • 10 per page
      • 20 per page
      • 50 per page
      • 100 per page

      Search Results

      Cover image for Typed lambda calculi and applications

      Typed lambda calculi and applications

      • by International Conference on Typed Lambda Calculi and Applications
      • 2005
      • Format: Electronic
      Location
      Access Content Online
      Cover image for Mathematical foundations of computer science 2006

      Mathematical foundations of computer science 2006

      • by Symposium on Mathematical Foundations of Computer Science (1972- )
      • 2006
      • Format: Electronic
      Location
      Access Content Online
      Cover image for Typed lambda calculi and applications

      Typed lambda calculi and applications

      • by International Conference on Typed Lambda Calculi and Applications
      • 2005
      • Format: Electronic
      Location
      Access Content Online
      Cover image for Mathematical foundations of computer science 2006

      Mathematical foundations of computer science 2006

      • by Symposium on Mathematical Foundations of Computer Science (1972- )
      • 2006
      • Format: Book
      Location
      Access Content Online
      East Carolina University
      East Fifth Street | Greenville, NC 27858-4353 USA | 252.328.6131 | Contact Webmaster