Did you mean: dibner or dubner or dyster or dybek or dycer

Start Over
You searched for: author Dybjer, Peter.

Search Results

Cover image for Semantics and logics of computation

Semantics and logics of computation

  • 1997
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76 .S425 1997 ✔ Available
Cover image for Types for proofs and programs

Types for proofs and programs

Location
Access Content Online
Cover image for Types for proofs and programs

Types for proofs and programs

Location Call # Status
Joyner - General Stacks QA76.9.A96 I594 1995 ✔ Available
Cover image for Applied semantics

Applied semantics

Location
Access Content Online
Cover image for Types for proofs and programs

Types for proofs and programs

Location Call # Status
Joyner - General Stacks QA76.9.A96 T96 1995 ✔ Available