Start Over
You searched for: subject "Lambda calculus"

Search Results

Cover image for Processes, terms and cycles

Processes, terms and cycles

  • 2005
  • Format: Electronic
Location
Access Content Online
Cover image for Processes, terms and cycles

Processes, terms and cycles

  • 2005
  • Format: Book
Location
Access Content Online
Cover image for Typed lambda calculi and applications

Typed lambda calculi and applications

Location
Access Content Online
Cover image for Language in action

Language in action

Location
Access Content Online
Cover image for Adapting proofs-as-programs

Adapting proofs-as-programs

Joyner Library - General Stacks
Call Number: QA9.54 .P64 2005
Cover image for Pattern calculus

Pattern calculus

Location
Access Content Online