Recensioni
Nessuna recensione ancora
Sii il primo a recensire questo libro e condividi i tuoi pensieri
Accedi per recensire
Adapting Proofs-as-Programs: The Curry-Howard Protocol
Ancora nessuna valutazione