Peter Dybjer
Identifiers
- Open LibraryOL7298559A
Top Subjects
- Categories (Mathematics) (1)
- Programming languages (Electronic computers) (1)
- Semantics (1)
Books by Peter Dybjer
Total count: 3
-
Category theory and programming language semanticsan overviewProgramming Methodology Group1986-01-01
-
Applied SemanticsInternational Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced LecturesSpringer London, Limited2003-01-01
-
Types for Proofs and ProgramsInternational Workshop, TYPES'99, lökeberg, Sweden, June 12-16, 1999, Selected PapersSpringer London, Limited2003-01-01