Deutsche Gesellschaft
für phänomenologische Forschung

Zeitschrift | Autoren

129107

Peter Dybjer

Bibliographie ¹

Program testing and the meaning explanations of intuitionistic type theory

2012

in: Epistemology versus ontology, Dordrecht : Springer

Open Access Link

Sortieren

Filtern

Sprache

english/english

Periode

2010-2019