Cut Elimination in Categories

Overview of attention for book

Cover of 'Cut Elimination in Categories'

Table of Contents

Attention for Chapter 7: Cartesian Categories

Altmetric Badge

Citations

dimensions_citation: 26 Dimensions

Summary Dimensions citations

So far, Dimensions has found 26 publications that cite this research output.

26

The most recent citing publications are shown below. View all 26 publications that cite this research output on Dimensions.

Proofs and surfaces

Article in Annals of Pure and Applied Logic (October 2020)

Kosta Došen (1954–2017)

Article in Studia Logica (July 2018)

POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE

Article in Bulletin of Symbolic Logic (March 2018)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.