|
1
|
A.: Cut elimination for Zermelo’s set theory
– Gilles Dowek, Re Miquel
- 2006
|
|
4
|
Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language
– Cindy Kong, Perry Alex, Catherine Menon
- 2003
|
|
2
|
A process algebraic approach to computational linguistic
– Tsutomu Fujinami
- 1995
|
|
|
5.2 Proof Systems for Coalgebraic Modal Logic.......... 91
– Dirk Pattinson
|
|
34
|
A Nested-Graph Model for the Representation and Manipulation of Complex Objects
– Alexandra Poulovassilis, Mark Levene
- 1994
|
|
28
|
A Stratified Semantics of General References Embeddable in Higher-Order Logic (Extended Abstract)
– Amal J. Ahmed, Andrew W. Appel, Roberto Virga
- 2002
|
|
44
|
Semantics of Types for Mutable State
– Amal Jamil Ahmed
- 2004
|
|
2
|
A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory
– Alexandre Miquel
|
|
94
|
A Categorical Manifesto
– Joseph A. Goguen
- 1991
|
|
32
|
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
|
|
|
Generalized Inductive Definitions in Constructive Set Theory
– Michael Rathjen
- 2004
|
|
|
Characterizing the interpretation of set theory in Martin-Löf type
– Michael Rathjen, Sergei Tupailo, Leeds Ls Jt
|
|
6
|
Formalizing Abstract Algebra in Type Theory with Dependent Records
– Xin Yu, Aleksey Nogin, Alexei Kopylov, Jason Hickey
- 2003
|
|
2
|
Formalizing abstract algebra in constructive set theory
– Xin Yu, Jason J. Hickey
- 2002
|
|
|
Metamathematical Properties of Intuitionistic Set Theories with Choice Principles
– Michael Rathjen
|
|
|
Normalization of intuitionistic set theories
– unknown authors
|
|
|
Kripke models for subtheories of CZF
– Rosalie Iemhoff
|
|
5
|
Realizability for constructive Zermelo-Fraenkel set theory
– Michael Rathjen
- 2004
|
