de Bruijn Notation as a Nested Datatype

Chi tiết về thư mục
Những tác giả chính: Bird, R, Paterson, R
Định dạng: Journal article
Được phát hành: 1999