Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Peter Aczel
Local Constructive Set Theory and Inductive Definitions
Foundational Theories of Classical and Constructive Mathematics
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
Related publications
A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory
Journal of Symbolic Logic
Philosophy
Logic
Presheaf Models for Constructive Set Theories
Set-Membership Functional Diagnosability: Definitions and Analysis
Effective Entailment Checking for Separation Logic With Inductive Definitions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Constructing Inductive-Inductive Types in Cubical Type Theory
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Restricted Set-Theoretical Definitions in Arithmetic
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
A Finitary Version of the Calculus of Partial Inductive Definitions
Inductive Reasoning in Social Choice Theory
Journal of Logic, Language and Information
Linguistics
Philosophy
Computer Science
Language
