P. Dybjer

No bio available. Add one in Open Library.

Books by P. Dybjer (50 max)

+ shelf+ list

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

2012

P. Dybjer

+ shelf+ list

Semantics and Logics of Computation

2009

Andrew M. Pitts, P. Dybjer