de Bruijn Notation as a Nested Datatype

Bibliographic Details
Main Authors: Bird, R, Paterson, R
Format: Journal article
Published: 1999