Towards a computation system based on set theory (original) (raw)
Related papers
Recursive models for constructive set theories
Annals of Mathematical Logic, 1982
Set Theory as a Computational Logic: From Foundations to Functions
1992
Operations, Collections and Sets within a General Axiomatic Framework
Logic and Foundations of Mathematics, 1999
Elements of a relational theory of datatypes
Lecture Notes in Computer Science, 1993
Towards a theory of abstract data types: A discussion on problems and tools
1980
An Extension of a Permutative Model of Set Theory
Annals of the Alexandru Ioan Cuza University - Mathematics, 2012
A framework for the recursive definition of data structures
Proceedings of the 2nd ACM SIGPLAN international …, 2000
Logics and Admissible Rules of Constructive Set Theories
arXiv (Cornell University), 2022
Techniques of computable set theory with applications to proof verification
Communications on Pure and Applied Mathematics, 1995
Data Abstraction and General Recursion
1991
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic
Frontiers of Combining Systems
A set theory with support for partial functions
2000
SIAM Journal on Computing, 1976
Set constructors, finite sets, and logical semantics
The Journal of Logic Programming, 1999
On arithmetical first-order theories allowing encoding and decoding of lists
Theoretical Computer Science, 1999
Executable Set Theory and Arithmetic Encodings in Prolog
2008
TOWARD A MINIMALIST FOUNDATION FOR CONSTRUCTIVE MATHEMATICS
Logical and computational aspects of programming with sets/bags/lists
Lecture Notes in Computer Science, 1991
Axiomatic Approach to the Theory of Algorithms and Relativized Computability
Constructive set theory with operations
Logic Colloquium 2004, A. Andretta, K. Kearnes, D. Zambella (eds.), Association of Symbolic Logic, Lecture Notes in Logic, 29, 2008
A Finite Axiomatisation of Inductive-Inductive Definitions
Logic, Construction, Computation, 2012
Set Theory for Verification: I. From Foundations to Functions
Set Theory for Verification: II. Induction and Recursion
On Algebras of Algorithms and Specifications over Uninterpreted Data
Formalized Mathematics, 2018
A finite axiomatization of inductive-recursive definitions
Typed Lambda Calculi and Applications, 1999
Relational programming laws in the tree, list, bag, set hierarchy
Science of Computer Programming, 1994
Towards applied theories based on computability logic
The Journal of Symbolic Logic, 2010
2017
Computation in Logic and Logic in Computation
2016
Theory of Computation and Specification over
2015
A Categorical Setting for Lower Complexity
Electronic Notes in Theoretical Computer Science, 2010