Menu
About project
Bibliography
Publications
Literature
Chronique
Research
People
Events
Bühleriana
Login
EN
|
DE
karl bühler digital
Home
>
People
> Profile
Profile
Publications
Order by
↓
↑
abc
👤
Filter
All
Monographs
Editions
Articles
Peter Dybjer
1 Publications
Program testing and the meaning explanations of intuitionistic type theory
2012
Peter Dybjer
in:
Epistemology versus ontology
, Berlin,
1 Publications
