Analytic and synthetic judgements in type theory (1994)

by P Martin-Löf
Venue:and Contemporary Epistemology