Diese Seite auf DeutschCette page en françaisQuesta pagina in italiano
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/seely-rag

R.A.G. Seely

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.
    Seely, R. A. G. 2000. “Review of Jacobs (1998).” The Bulletin of Symbolic Logic 6(2): 225–229.

Further References

    Jacobs, Bart. 1998. Categorial Logic and Type Theory. Studies in Logic and the Foundations of Mathematics n. 141. Amsterdam: Elsevier Science Publishers B.V.