scientific article; zbMATH DE number 6174931

zbMATH Open1286.03112MaRDI QIDQ4925871FDOQ4925871

Authors: Giuseppe Primiero 

Publication date: 12 June 2013

Title of this publication is not available (Why is that?)

Recommendations

• Contextual modal type theory
• Contextual modal type theory with polymorphic contexts
• Contextual intensional logic: type-theoretic and dynamic considerations
• Publication:4941945
• scientific article; zbMATH DE number 1501611
• Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts
• Assertion and grounding: a theory of assertion for constructive type theory
• A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types
• Denotation of contextual modal type theory (CMTT): syntax and meta-programming

Mathematics Subject Classification ID

Combined logics (03B62)

Cited In (5)

• Contextual modal type theory
• Contextual modal type theory with polymorphic contexts
• A modal type theory for formalizing trusted communications
• On the computational interpretation of \(\mathbf{CK}_{n}\) for contextual information processing
• Modeling contexts with dependent types

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4925871)