de Bruijn Notation as a Nested Datatype

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Bird, R, Paterson, R
التنسيق: Journal article
منشور في: 1999