Outline of the cut-elimination theorem
Book chapter (August 2021)
The most recent citing publications are shown below. View all 20 publications that cite this research output on Dimensions.
Book chapter (August 2021)
Book chapter (August 2021)
Book chapter (August 2021)