de Bruijn Notation as a Nested Datatype

Detalles Bibliográficos
Autores principales: Bird, R, Paterson, R
Formato: Journal article
Publicado: 1999