References

  1. Steven Awodey (1997): Logic in topoi: Functorial Semantics for Higher-Order Logic. The University of Chicago.
  2. Douglas Bridges & Fred Richman (1987): Varieties of Constructive Mathematics. Lecture note series. Cambridge University Press, doi:10.1017/cbo9780511565663.
  3. Thierry Coquand, Henri Lombardi & Claude Quitté (2010): Curves and coherent Prüfer rings. J. Symb. Comput. 45(12), pp. 1378–1390, doi:10.1016/j.jsc.2010.06.016.
  4. Michel Coste, Henri Lombardi & Marie-Françoise Roy (2001): Dynamical method in algebra: effective Nullstellensätze. Annals of Pure and Applied Logic 111(3), pp. 203 – 256, doi:10.1016/S0168-0072(01)00026-4.
  5. Jean Della Dora, Claire Dicrescenzo & Dominique Duval (1985): About a new method for computing in algebraic number fields. In: Bob Caviness: EUROCAL '85, Lecture Notes in Computer Science 204. Springer Berlin / Heidelberg, pp. 289–290, doi:10.1007/3-540-15984-3_279.
  6. A. Fröhlich & J. C. Shepherdson (1956): Effective Procedures in Field Theory. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences 248(950), pp. 407–432, doi:10.1098/rsta.1956.0003.
  7. Peter T. Johnstone (2002): Sketches of an Elephant: A Topos Theory Compendium - Volume 2. Oxford Logic Guides 44. Oxford University Press.
  8. John F. Kennison (1982): Separable algebraic closure in a topos. Journal of Pure and Applied Algebra 24(1), pp. 7 – 24, doi:10.1016/0022-4049(82)90055-X.
  9. Henri Lombardi & Claude Quitté (2011): Algèbre Commutative, Méthodes Constructives. Mathématiques en devenir. Calvage et Mounet.
  10. Saunders MacLane & Ieke Moerdijk (1992): Sheaves in Geometry and Logic: A First Introduction to Topos Theory, corrected edition. Springer, doi:10.1007/978-1-4612-0927-0.
  11. Michael Makkai & Gonzalo E. Reyes (1977): First order categorical logic: model-theoretical methods in the theory of topoi and related categories. Lecture notes in mathematics 611. Springer-Verlag, doi:10.1007/BFb0066201.
  12. Bassel Mannaa & Thierry Coquand (2013): Dynamic Newton-Puiseux theorem. J. Logic & Analysis 5, doi:10.4115/jla.2013.5.5.
  13. Per Martin-Löf (1972): An intuitionistic theory of types. Reprinted in Twenty-five years of constructive type theory, Oxford University Press, 1998, 127–172.
  14. Ray Mines, Fred Richman & Wim Ruitenburg (1988): A course in constructive algebra. Universitext (1979). Springer-Verlag, doi:10.1007/978-1-4419-8640-5.
  15. Andrej Ščedrov (1984): Forcing and classifying topoi. Memoirs of the AMS 48. American Mathematical Society (AMS), doi:10.1090/memo/0295.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org