Beniamino Accattoli

Dieses Papier untersucht den Zusammenhang zwischen minimaler intuitionistischer Logik und Call-by-Value-Auswertung in der Programmierung.