de Bruijn Notation as a Nested Datatype

Dades bibliogràfiques
Autors principals: Bird, R, Paterson, R
Format: Journal article
Publicat: 1999