Modularity of strong normalization in the algebraic-λ-cube

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

Research output: Contribution to journal › Article › Academic › peer-review

30 Citations (Scopus)

1 Downloads (Pure)

Original language	English
Pages (from-to)	613-660
Journal	Journal of Functional Programming
Volume	7
Issue number	6
DOIs	https://doi.org/10.1017/S095679689700289X
Publication status	Published - 1997

Access to Document

@article{a4c513a4f44c4c67a55e4026ba249b75,

title = "Modularity of strong normalization in the algebraic-λ-cube",

author = "F. Barbanera and M. Fernandez and J.H. Geuvers",

year = "1997",

doi = "10.1017/S095679689700289X",

language = "English",

volume = "7",

pages = "613--660",

journal = "Journal of Functional Programming",

issn = "0956-7968",

publisher = "Cambridge University Press",

number = "6",

}