Formalising strong normalisation proofs of explicit substitution calculi in ALF

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)59-98
Number of pages40
JournalJournal of Automated Reasoning
Volume30
Publication statusPublished - 2003

Cite this