1. Combinatorial Species and Tree-like Structures;Bergeron,1997
2. Cyclic proofs for first-order logic with inductive definitions;Brotherston,2005
3. Consistency of the Theory of Contexts;Bucalo;Journal of Functional Programming,2006
4. A simpler proof theory for nominal logic;Cheney,2005
5. Logic and Structure;van Dalen,1983