Cut-elimination and normal forms of sequent derivations
著者
書誌事項
Cut-elimination and normal forms of sequent derivations
（Report (Center for the Study of Language and Information (U.S.)), no. CSLI-94-193）
Center for the Study of Language and Information (CSLI), c1994
大学図書館所蔵 全2件
この図書・雑誌をさがす
注記
"November 1994"
Includes bibliographical references
収録内容
- Normal forms for sequent derivations
- Indexed systems of sequents and cut-elimination
- Normalization as an epsilon substitution process