Cut Elimination in a Class of Sequent Calculi for Pure Type Systems (Q4924532)
From MaRDI portal
scientific article; zbMATH DE number 6171447
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cut Elimination in a Class of Sequent Calculi for Pure Type Systems |
scientific article; zbMATH DE number 6171447 |
Statements
Cut Elimination in a Class of Sequent Calculi for Pure Type Systems (English)
0 references
6 June 2013
0 references
pure type systems
0 references
sequent calculi
0 references
cut elimination
0 references
0 references
