Semantical analysis of contextual types (Q2200843)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Semantical analysis of contextual types	scientific article

Statements

scholarly article

0 references

Semantical analysis of contextual types (English)

0 references

Brigitte Pientka

0 references

0 references

publication date

23 September 2020

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-030-45231-5_26

0 references

0 references

Generalized algebraic theories and contextual categories

0 references

A modal analysis of staged computation

0 references

Internal type theory

0 references

A framework for defining logics

0 references

0 references

0 references

Comprehension categories and the semantics of type dependency

0 references

0 references

Contextual modal type theory

0 references

A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions

0 references

0 references

Inductive Beluga: Programming Proofs

0 references

Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)

0 references

Brouwer's fixed-point theorem in real-cohesive homotopy type theory

0 references

0 references

Identifiers

10.1007/978-3-030-45231-5_26

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2200843

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2200843&oldid=36619028"