Curry-Howard, Game Semantics and Herbrand¿s Theorem


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
 
Status
CLOSED