STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Peter Dybjer | lit.salon
Peter Dybjer
No bio available.
Add one in Open Library.
Books by Peter Dybjer (50 max)
+ shelf
+ list
Types for Proofs and Programs International Workshop, TYPES'99, lökeberg, Sweden, June 12-16, 1999, Selected Papers
2003
Peter Dybjer, Bengt Nordström, Jan Smith
+ shelf
+ list
Category theory and programming language semantics: an overview
1986
Peter Dybjer
+ shelf
+ list
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)
1989
Peter Dybjer
+ shelf
+ list
Semantics and logics of computation
1997
Peter Dybjer
+ shelf
+ list
Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
2003
Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva
+ shelf
+ list
Semantics And Logics Of Computation
2009
Peter Dybjer
