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

Journal of Symbolic Logic - United Kingdom
doi 10.2307/2586554
Full Text
Abstract

Available in full text

Categories
PhilosophyLogic
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

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
1986English

Local Constructive Set Theory and Inductive Definitions

Foundational Theories of Classical and Constructive Mathematics
2011English

Constructing Inductive-Inductive Types in Cubical Type Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Activation-Based Recursive Self-Organising Maps: A General Formulation and Empirical Results

Neural Processing Letters
Computer NetworksSoftwareNeuroscienceArtificial IntelligenceCommunications
2006English

Erratum To: A Spinor Formulation of Electromagnetic Theory in General Relativity

Il Nuovo Cimento
1964English

A Finitary Version of the Calculus of Partial Inductive Definitions

English

Recursive Programs as Definitions in First-Order Logic

SIAM Journal on Computing
MathematicsComputer Science
1984English

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

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2007English

A Theorem on General Recursive Functions

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1960English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy