Project

Back to overview

Der technische Hintergrund und die philosophischen Wurzeln von Per Martin-Löfs intuitionistischer Typentheorie.

Applicant Sommaruga Giovanni
Number 36085
Funding scheme Project funding (special)
Research institution Departement für Philosophie Philosophische Fakultät Universität Freiburg
Institution of higher education University of Fribourg - FR
Main discipline Philosophy
Start/End 01.04.1993 - 30.09.1994
Approved amount 127'500.00
Show all

Responsible applicant and co-applicants

Associated projects

Number Title Start Funding scheme
40251 Der technische Hintergrund und die philosophischen Wurzeln von Per Martin-Löfs intuitionistischer Typentheorie. 01.10.1994 Project funding (special)

-