A typechecker for bijective pure type systems

E. Poll

Onderzoeksoutput: Boek/rapportRapportAcademic

64 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's28
StatusGepubliceerd - 1993

Publicatie series

NaamComputing science notes
Volume9322

Citeer dit