Some algorithms to decide the equivalence of recursive types

Onderzoeksoutput: Boek/rapportRapportAcademic

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

Publicatie series

NaamComputing science notes
Volume9131

Citeer dit