Home
Esportazione
Statistica
Opzioni
Visualizza tutti i metadati (visione tecnica)
Revisiting the bookkeeping technique in HOAS-based encodings
CIAFFAGLIONE, Alberto
•
SCAGNETTO, Ivan
2013
conference object
Archivio
http://hdl.handle.net/11390/870980
http://www.irit.fr/TYPES2013/TYPES2013BookOfAbstracts.pdf
Diritti
closed access
Soggetti
Type Theory
Logical Framework
Higher-Order Abstract...
google-scholar
Vedi dettagli