Peter Dybjer

Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers

1995 · ENGLISH · DJVU

View details →

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf

2012 · ENGLISH · PDF

View details →

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

1989 · ENGLISH · PDF

View details →

Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures

2002 · ENGLISH · PDF

View details →

Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers

2000 · ENGLISH · PDF

View details →

Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers

1995 · ENGLISH · DJVU

View details →

Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures

2002 · ENGLISH · PDF

View details →

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

1989 · ENGLISH · DJVU

View details →