A Formalisation of Weak Normalisation (With Respect to Permutations) of Sequent Calculus Proofs

Andrew Alexander Adams

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

Original language	English
Pages (from-to)	1-26
Journal	LMS Journal of Computation and Mathematics
Volume	3
DOIs	https://doi.org/10.1112/S1461157000000188
Publication status	Published - 2000

Access to Document

@article{614b7f9bae4a41b3a645358a5570d51b,

title = "A Formalisation of Weak Normalisation (With Respect to Permutations) of Sequent Calculus Proofs",

author = "Adams, {Andrew Alexander}",

year = "2000",

doi = "10.1112/S1461157000000188",

language = "English",

volume = "3",

pages = "1--26",

journal = "LMS Journal of Computation and Mathematics",

issn = "1461-1570",

publisher = "London Mathematical Society",

}

TY - JOUR

T1 - A Formalisation of Weak Normalisation (With Respect to Permutations) of Sequent Calculus Proofs

AU - Adams, Andrew Alexander

PY - 2000

Y1 - 2000

U2 - 10.1112/S1461157000000188

DO - 10.1112/S1461157000000188

M3 - Article

SN - 1461-1570

VL - 3

SP - 1

EP - 26

JO - LMS Journal of Computation and Mathematics

JF - LMS Journal of Computation and Mathematics

ER -