Conference | Speakers | Profile
![129107](/images/creator/_default.jpg)
Peter Dybjer
Program testing and the meaning explanations of intuitionistic type theory
2012
in: Epistemology versus ontology, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Conference | Speakers | Profile
Program testing and the meaning explanations of intuitionistic type theory
2012
in: Epistemology versus ontology, Dordrecht : Springer