scientific article; zbMATH DE number 6174931
From MaRDI portal
Publication:4925871
Recommendations
- Contextual modal type theory
- Contextual modal type theory with polymorphic contexts
- Contextual intensional logic: type-theoretic and dynamic considerations
- scientific article; zbMATH DE number 1418381
- 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
(6)- 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
- Handling mobility failures by modal types
- 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)
