J.R.B. Cockett (cockett)

Contributions à Philosophie.ch

Bibliography

Cockett, J. R. B. and Seely, R. A. G. 2017. “Proof Theory of the Cut Rule.” in Categories for the Working Philosopher, edited by Elaine M. Landry, pp. 223–261. Oxford: Oxford University Press, doi:10.1093/oso/9780198748991.001.0001.