de Bruijn Notation as a Nested Datatype

Bibliographische Detailangaben
Hauptverfasser: Bird, R, Paterson, R
Format: Journal article
Veröffentlicht: 1999