Skip to content
Channels - Internal Parametricity for Cubical Type Theory :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Internal Parametricity for Cubical Type Theory
Search for more channels:
Similar Items: Internal Parametricity for Cubical Type Theory
Channel Options
View Record
Explore related channels
Quick Look
Unifying cubical and multimodal 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
Parametricity for Nested Types and GADTs
Quick Look
A Cubical Language for Bishop Sets
Quick Look
Normalisation by Evaluation for Type Theory, in Type Theory
Quick Look
Parametric updates in parametric timed automata
Quick Look
Relational Parametricity and Control
Quick Look
Multimodal Dependent Type Theory
Quick Look
Idempotents in intensional type theory
Quick Look
Dualized Simple Type Theory
Quick Look
Modalities in homotopy type theory
Quick Look
Normalization for multimodal type theory
Quick Look
Relational Parametricity and Separation Logic
Quick Look
Relational Parametricity for Computational Effects
Quick Look
Semantics and Algorithms for Parametric Monitoring
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
Reachability and liveness in parametric timed automata
Load more items
View Record
Prev
Explore related channels
Next