Martin-Lof Peer
Mostra tutti i 1 risultati
-
Esaurito
Per saperne di piùQuick ViewIntuitionistic Type Theory
Autore: Martin-Lof PeerThese lectures were given in Padova at the Laboratorio per continua
Mostra tutti i 1 risultati
These lectures were given in Padova at the Laboratorio per continua