Some category theoretical properties related to a model for a polymorphic lambda-calculus

Onderzoeksoutput: Boek/rapportRapportAcademic

77 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's26
StatusGepubliceerd - 1989

Publicatie series

NaamComputing science notes
Volume8903

Citeer dit