The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions

Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science
doi 10.1016/s0049-237x(09)70683-4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier

Related search

Local Constructive Set Theory and Inductive Definitions

Foundational Theories of Classical and Constructive Mathematics
2011English

A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory

Journal of Symbolic Logic
PhilosophyLogic
2000English

Constructing Inductive-Inductive Types in Cubical Type Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Type-Theoretic Interpretation of Standard ML

2000English

Hume's Two Definitions: The Procedural Interpretation

Hume Studies
2011English

A Finitary Version of the Calculus of Partial Inductive Definitions

English

Completeness and Decidability of Converse PDL in the Constructive Type Theory of Coq

2018English

Reasoning About Object-Based Calculi in (Co)Inductive Type Theory and the Theory of Contexts

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2007English

A Random Set and Prototype Theory Interpretation of Intuitionistic Fuzzy Sets

Communications in Computer and Information Science
MathematicsComputer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy