De Bruijn's syntax and reductional behaviour of lambda-terms : the typed case

F. Kamareddine, C.J. Bloo

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
Original languageEnglish
Pages (from-to)159-189
JournalJournal of Logic and Algebraic Programming
Volume62
Issue number2
DOIs
Publication statusPublished - 2005

Cite this