Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Peter Dybjer
A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory
Journal of Symbolic Logic
Philosophy
Logic
Related publications
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
Local Constructive Set Theory and Inductive Definitions
Foundational Theories of Classical and Constructive Mathematics
Constructing Inductive-Inductive Types in Cubical Type Theory
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Activation-Based Recursive Self-Organising Maps: A General Formulation and Empirical Results
Neural Processing Letters
Computer Networks
Software
Neuroscience
Artificial Intelligence
Communications
Erratum To: A Spinor Formulation of Electromagnetic Theory in General Relativity
Il Nuovo Cimento
A Finitary Version of the Calculus of Partial Inductive Definitions
Recursive Programs as Definitions in First-Order Logic
SIAM Journal on Computing
Mathematics
Computer Science
Reasoning About Object-Based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
A Theorem on General Recursive Functions
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics