Analytic and Synthetic Judgements in Type Theory", Kant and Contemporary (1994)

by P MARTIN-LÖF