Skip to content
<title>Channels - Internalising modified realisability in constructive type theory :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Internalising modified realisability in constructive type theory
Search for more channels:
Similar Items: Internalising modified realisability in constructive type theory
Channel Options
View Record
Explore related channels
Quick Look
A modular construction of type theories
Quick Look
Constructing categories and setoids of setoids in type theory
Quick Look
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
Quick Look
Normalisation by Evaluation for Type Theory, in Type Theory
Quick Look
Idempotents in intensional type theory
Quick Look
Dualized Simple Type Theory
Quick Look
Modalities in homotopy type theory
Quick Look
Multimodal Dependent Type Theory
Quick Look
Normalization for multimodal type theory
Quick Look
Constructing Higher Inductive Types as Groupoid Quotients
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
Internal Parametricity for Cubical Type Theory
Quick Look
Unifying cubical and multimodal type theory
Quick Look
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
Quick Look
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
Quick Look
On Irrelevance and Algorithmic Equality in Predicative Type Theory
Quick Look
Categorical structures for type theory in univalent foundations
Quick Look
Models of Type Theory Based on Moore Paths
Quick Look
2-adjoint equivalences in homotopy type theory
Quick Look
On the Nielsen-Schreier Theorem in Homotopy Type Theory
Load more items
View Record
Prev
Explore related channels
Next
