Peter Dybjer

Peter Dybjer

3 books in the database

Books

Category theory and computer sciencePeter Dybjer

Category theory and computer science

Peter Dybjer · 1989

Semantics And Logics Of ComputationPeter Dybjer

Semantics And Logics Of Computation

Peter Dybjer · 2009

Types for Proofs and ProgramsPeter Dybjer

Types for Proofs and Programs

Peter Dybjer · 2003

Co-authored books and collections

Books that list Peter Dybjer among their authors but not as the lead author: co-written works, collections and compilations.

Applied SemanticsGilles Barthe

Applied Semantics

Gilles Barthe · 2003