Skip to content
<title>Channels - Normalisation by Evaluation for Type Theory, in Type Theory :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Normalisation by Evaluation for Type Theory, in Type Theory
Search for more channels:
Similar Items: Normalisation by Evaluation for Type Theory, in Type Theory
Channel Options
View Record
Explore related channels
Quick Look
Non-idempotent intersection types and strong normalisation
Quick Look
A proof of strong normalisation using domain 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
Reduction Free Normalisation for a proof irrelevant type of propositions
Quick Look
The Independence of Markov's Principle in Type Theory
Quick Look
On the strength of proof-irrelevant type theories
Quick Look
A dependent nominal 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
A modular construction of type theories
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
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
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
