top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Questo autore in
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Urzyczyn, Pawel
ID:
318886
Opere
Altre forme del nome
Urzyczyn, Pawel
Urzyczyn, Paweł
Urzyczyn Pawe
Urzyczyn, Paweł
Seleziona tutte
Deseleziona
Lectures on the Curry-Howard isomorphism
...
Mathematical foundations of computer science 2006
...
Typed lambda calculi and applications
...