Skip to content
<title>Channels - Unifying cubical and multimodal type theory :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Unifying cubical and multimodal type theory
Search for more channels:
Similar Items: Unifying cubical and multimodal type theory
Channel Options
View Record
Explore related channels
Quick Look
Internal Parametricity for Cubical Type Theory
Quick Look
Canonicity and homotopy canonicity for cubical type theory
Quick Look
Axioms for Modelling Cubical Type Theory in a Topos
Quick Look
Multimodal Dependent Type Theory
Quick Look
Normalization for multimodal type theory
Quick Look
A Cubical Language for Bishop Sets
Quick Look
Normalisation by Evaluation for Type Theory, in Type Theory
Quick Look
A unifying framework for continuity and complexity in higher types
Quick Look
Idempotents in intensional type theory
Quick Look
Dualized Simple Type Theory
Quick Look
Modalities in homotopy type theory
Quick Look
On the strength of proof-irrelevant type theories
Quick Look
A dependent nominal type theory
Quick Look
The Independence of Markov's Principle in Type Theory
Quick Look
Call-by-name Gradual Type Theory
Quick Look
Cellular Cohomology in Homotopy Type Theory
Quick Look
A modular construction of type theories
Quick Look
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
Quick Look
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
Quick Look
Internalising modified realisability in constructive type theory
Quick Look
On Irrelevance and Algorithmic Equality in Predicative Type Theory
Quick Look
Constructing categories and setoids of setoids in type theory
Quick Look
Categorical structures for type theory in univalent foundations
Quick Look
Models of Type Theory Based on Moore Paths
Load more items
View Record
Prev
Explore related channels
Next
