1. Bezem, M.A., Coquand, T.: Automating Geometric Logic, Report 33/04 Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona
2. Bezem, M.A., Springintveld, J.: A simple proof of the undecidability of inhabitation in λP. Journal of Functional Programming 6(5), 1–5 (1996)
3. Blass, A.: Topoi and computation. Bulletin of the EATCS 36, 57–65 (1998)
4. Coste, M., Lombardi, H., Roy, M.-F.: Dynamical methods in algebra: effective Nullstellensätze. Annals of Pure and Applied Logic 111(3), 203–256 (2001)
5. Goldblatt, R.: Topoi: the categorial analysis of logic. North-Holland, Amsterdam (1984) (revised edition)