de Bruijn Notation as a Nested Datatype

מידע ביבליוגרפי
Main Authors: Bird, R, Paterson, R
פורמט: Journal article
יצא לאור: 1999