哲学杂志철학 학술지哲学のジャーナル

East Asian
Journal of
Philosophy

Home > People > Profile

Profile Publications

Peter Dybjer

monographs X

1 Publications

Program testing and the meaning explanations of intuitionistic type theory

2012

in: Epistemology versus ontology, Berlin,

1 Publications