de Bruijn Notation as a Nested Datatype

Detalles Bibliográficos
Main Authors: Bird, R, Paterson, R
Formato: Journal article
Publicado: 1999