de Bruijn Notation as a Nested Datatype

Xehetasun bibliografikoak
Egile Nagusiak: Bird, R, Paterson, R
Formatua: Journal article
Argitaratua: 1999