Modularity of strong normalization in the algebraic-λ-cube

F. Barbanera, M. Fernandez, J.H. Geuvers

Research output: Contribution to journalArticleAcademicpeer-review

26 Citations (Scopus)
1 Downloads (Pure)
Original languageEnglish
Pages (from-to)613-660
JournalJournal of Functional Programming
Volume7
Issue number6
DOIs
Publication statusPublished - 1997

Cite this