Theories

• Constructive Category Theory [here]
  Amokrane Saïbi
  
  
• Some simple examples about co-inductive types and co-induction [here]
  Eduardo Gimenez
  
  
• A formalization of the Calculus of Construction [here]
  Bruno Barras
  
  
• Elements of Constructive Geometry, Group Theory, and Domain Theory [here]
  Gilles Kahn
  
  
• Paradoxes in Set Theory and Type Theory [here]
  Bruno Barras, Thierry Coquand, Benjamin Werner
  
  
• An encoding of Zermelo-Fraenkel Set Theory in Coq [here]
  Benjamin Werner
  
  
• An axiomatization of intuitionistic Zermelo-Fraenkel set theory [here]
  Guillaume Alexandre