On the Theory of Inductive Families

Studia Mathematica - Poland
doi 10.4064/sm-26-1-1-10
Full Text
Abstract

Available in full text

Categories
Mathematics
Date
Authors
Publisher

Institute of Mathematics, Polish Academy of Sciences

Related search

Constructing Inductive-Inductive Types in Cubical Type Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Inductive Reasoning in Social Choice Theory

Journal of Logic, Language and Information
LinguisticsPhilosophyComputer ScienceLanguage
2019English

Inductive Game Theory and the Dynamics of Animal Conflict

PLoS Computational Biology
Molecular NeuroscienceEvolutionEcologyGeneticsBehaviorMolecular BiologySystematicsSimulationCellularComputational TheoryMathematicsModeling
2010English

Inductive Game Theory: A Basic Scenario

2010English

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

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

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2007English

Non-Inductive Current Drive in Toroidal System 2. 2. Theory of Non-Inductive Current Drive. 2-3 Neoclassical Effects on Current Drive.

Kakuyūgō kenkyū
1989English

Inductive Game Theory: A Simulation Study of Learning a Social Situation

2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy