Semantical analysis of contextual types

DOI10.1007/978-3-030-45231-5_26OpenAlexW3017335120MaRDI QIDQ2200843

Ulrich Schöpp, Brigitte Pientka

Publication date: 23 September 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-45231-5_26

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (1)

A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types

Cites Work

• Generalized algebraic theories and contextual categories
• Comprehension categories and the semantics of type dependency
• A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions
• A modal analysis of staged computation
• Inductive Beluga: Programming Proofs
• A framework for defining logics
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• Internal type theory
• Contextual modal type theory
• Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantical analysis of contextual types