de Bruijn Notation as a Nested Datatype

Bibliografiska uppgifter
Huvudupphovsmän: Bird, R, Paterson, R
Materialtyp: Journal article
Publicerad: 1999