Cut rules and explicit substitutions

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

Original language	English
Pages (from-to)	131-168
Number of pages	38
Journal	Mathematical Structures in Computer Science
Volume	11
Issue number	1
Publication status	Published - Feb 2001

Cite this

@article{f7069a1755f443e8b2cbfbd1a10b7b70,

title = "Cut rules and explicit substitutions",

author = "R Vestergaard and Wells, \{Joseph Brian\}",

year = "2001",

month = feb,

language = "English",

volume = "11",

pages = "131--168",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "1",

}