Dybjer, Peter books & textbook
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, 389)
Pitt, David H. Rydeheard, David E. Dybjer, Peter Pitts, Andrew Poigne, Axel
Springer /1989-08-23 Paperback / 380 Pages
isbn-10: 354051662X / isbn-13: 9783540516620
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science, 1956)
Coquand, Thierry Dybjer, Peter Nordström, Bengt Smith, Jan
Springer /2000-12-13 Paperback / 212 Pages
isbn-10: 3540415173 / isbn-13: 9783540415176
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science, 996)
Dybjer, Peter Nordström, Bengt Smith, Jan
Springer /1995-10-18 Paperback / 220 Pages
isbn-10: 3540605797 / isbn-13: 9783540605799
Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-L? (Logic, Epistemology, and the Unity of Science) (2012-07-11)
Springer / Hardcover
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science, 2395)
Barthe, Gilles Dybjer, Peter Pinto, Luis Saraiva, João
Springer /2002-08-21 Paperback / 547 Pages
isbn-10: 3540440445 / isbn-13: 9783540440444
