de Bruijn Notation as a Nested Datatype

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí: Bird, R, Paterson, R
Formáid: Journal article
Foilsithe / Cruthaithe: 1999