# Contents

## References

Cartesian theories were introduced under different names in the early seventies by John Isbell, Peter Freyd and Michel Coste (cf. Johnstone 1979). A standard source is Johnstone (2002).

• Peter Freyd, Cartesian Logic , Theor. Comp. Sci. 278 (2002) pp.3-21.

• Peter Johnstone, A Syntactic Approach to Diers’ Localizable Categories , pp.466-478 in Springer LNM 753 Heidelberg 1979.

• Peter Johnstone, Sketches of an Elephant II , Oxford UP 2002. (Around D1.3.4 p.833)

Revised on June 6, 2017 15:33:07 by Thomas Holder (82.113.121.174)