Project

Back to overview

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

Applicant Sommaruga Giovanni
Number 40251
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.10.1994 - 31.07.1995
Approved amount 71'250.00
Show all

Keywords (2)

INTUITIONISMUS; TYPENTHEORIE

Responsible applicant and co-applicants

Associated projects

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

-