A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory

Cached

Download Links

by Alexandre Miquel
Citations:3 - 0 self

Active Bibliography

4 Cut elimination for Zermelo’s set theory – Gilles Dowek, Alexandre Miquel - 2006
A Static Calculus of Dependencies for the λ-cube – Frederic Prost
13 The Implicit Calculus of Constructions - Extending Pure Type Systems with an Intersection Type Binder and Subtyping – Alexandre Miquel - 2001
3 From Inheritance to Feature Interaction or Composing Monads – Christian Prehofer - 1997
2 A process algebraic approach to computational linguistic – Tsutomu Fujinami - 1995
5.2 Proof Systems for Coalgebraic Modal Logic.......... 91 – Dirk Pattinson
4 Models of non-well-founded sets via an indexed final coalgebra theorem – Benno Van Den Berg, Federico De
1 Combining Optimizations, Combining Theories – Todd L. Veldhuizen, Jeremy G. Siek
Matter, Mind and Mechanics New models for dynamogenesis and rationality Synopsis of The Mechanical Foundations of Psychology and Economics – Jon Doyle - 2000
5 Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language – Cindy Kong, Perry Alexander, Catherine Menon - 2003
2 2004a), Have Your Cake and Eat It Too: The Old Principal Principle Reconciled with the New – Peter B. M. Vranas
36 A Nested-Graph Model for the Representation and Manipulation of Complex Objects – Alexandra Poulovassilis, Mark Levene - 1994
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE – Joel David Hamkins
99 A Categorical Manifesto – Joseph A. Goguen - 1991
30 A Stratified Semantics of General References Embeddable in Higher-Order Logic (Extended Abstract) – Amal J. Ahmed, Andrew W. Appel, Roberto Virga - 2002
33 Feature Logics – William C. Rounds - 1994
1 CZF has the disjunction and numerical existence property. Available from the author’s web page www.amsta.leeds.ac.uk/Pure/staff/rathjen/preprints.html – Michael Rathjen - 2004
2 An Interpretation of Kleene's Slash in Type Theory – Jan M. Smith - 1993