de Bruijn Notation as a Nested Datatype

Opis bibliograficzny
Główni autorzy: Bird, R, Paterson, R
Format: Journal article
Wydane: 1999