Repository | Directory | Profile
Peter Dybjer
in English
XProgram testing and the meaning explanations of intuitionistic type theory
2012
in: Epistemology versus ontology, Dordrecht : Springer
Central and East European
Society for Phenomenology