de Bruijn Notation as a Nested Datatype

Dettagli Bibliografici
Autori principali: Bird, R, Paterson, R
Natura: Journal article
Pubblicazione: 1999