Cut rules and explicit substitutions

R Vestergaard, Joseph Brian Wells

Research output: Contribution to journalArticle

8 Citations (Scopus)
Original languageEnglish
Pages (from-to)131-168
Number of pages38
JournalMathematical Structures in Computer Science
Volume11
Issue number1
Publication statusPublished - Feb 2001

Cite this