de Bruijn Notation as a Nested Datatype

Бібліографічні деталі
Автори: Bird, R, Paterson, R
Формат: Journal article
Опубліковано: 1999