Formalising strong normalisation proofs of explicit substitution calculi in ALF

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

Original language	English
Pages (from-to)	59-98
Number of pages	40
Journal	Journal of Automated Reasoning
Volume	30
Publication status	Published - 2003

Cite this

@article{fc5ea4bc13904978a2226d53f212d351,

title = "Formalising strong normalisation proofs of explicit substitution calculi in ALF",

author = "Kamareddine, {Fairouz Dib} and Q Haiyan",

year = "2003",

language = "English",

volume = "30",

pages = "59--98",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer",

}