de Bruijn Notation as a Nested Datatype

Detaylı Bibliyografya
Asıl Yazarlar: Bird, R, Paterson, R
Materyal Türü: Journal article
Baskı/Yayın Bilgisi: 1999