De Bruijn's syntax and reductional equivalence of lambda-terms

F. Kamareddine, C.J. Bloo, R.P. Nederpelt

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
Originele taal-2Engels
TitelProceedings Third International Conference on Principles and Practice of Declarative Programming (PPDP01, Florence, Italy, September 5-7, 2001))
RedacteurenR. Nicola, De
UitgeverijAssociation for Computing Machinery, Inc
Pagina's16-27
ISBN van geprinte versie1-58113-388-X
StatusGepubliceerd - 2001

Citeer dit