No label defined (Q4222841)
From MaRDI portal
scientific article; zbMATH DE number 1231526
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1231526 |
Statements
14 December 1998
0 references
extension of Girard's phase semantics
0 references
cut-elimination
0 references
phase semantics for proofs
0 references
proof-normalization theorem
0 references
