scientific article; zbMATH DE number 6174931

MaRDI QIDQ4925871zbMATH OpenFDO

Authors Giuseppe Primiero

Publication date 12 June 2013

Mathematics Subject Classification ID

Combined logics (03B62)

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

Cited in

(5)

• A modal type theory for formalizing trusted communications
• Contextual modal type theory
• Contextual modal type theory with polymorphic contexts
• 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)