Risultati della ricerca - Sørensen, Morten Heine

  • Mostra 1 - 1 risultati su 1
Raffina i risultati
  1. 1
    Copertina

    Lectures on the Curry-Howard isomorphism. di Sørensen, Morten Heine, Urzyczyn, Paweł

    Pubblicazione 2006
    Libro

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: