학술논문
The problem of Π2 -cut-introduction
Document Type
Article
Author
Source
In: Theoretical Computer Science . (Theoretical Computer Science, 6 January 2018, 706:83-116)
Subject
Language
English
ISSN
03043975