de Bruijn Notation as a Nested Datatype

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Bird, R, Paterson, R
Μορφή: Journal article
Έκδοση: 1999