Project Acronym Projekt Kurzbezeichnung
Curry-Howard
Project Title (de) Projekttitel (de)
Curry-Howard, Game Semantics and Herbrand¿s Theorem
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in