Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

A short and flexible proof of strong normalization for the calculus of constructions

Onderzoeksoutput: Boek/rapportRapportAcademic

1412 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's27
StatusGepubliceerd - 1994

Publicatie series

NaamComputing science reports
Volume9450
ISSN van geprinte versie0926-4515

Citeer dit