哲学杂志철학 학술지哲学のジャーナルEast Asian
Journal of
Philosophy

Home > People > Profile

ProfilePublications

Peter Dybjer

1 Publications

Program testing and the meaning explanations of intuitionistic type theory

2012

Peter Dybjer

in: Epistemology versus ontology, Berlin,

1 Publications