Skip to content
<title>Channels - Dualized Simple Type Theory :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Dualized Simple Type Theory
Search for more channels:
Similar Items: Dualized Simple Type Theory
Channel Options
View Record
Explore related channels
Quick Look
Analytic Tableaux for Simple Type Theory and its First-Order Fragment
Quick Look
A Rewriting View of Simple Typing
Quick Look
Normalisation by Evaluation for Type Theory, in Type Theory
Quick Look
Idempotents in intensional type theory
Quick Look
Modalities in homotopy type theory
Quick Look
Multimodal Dependent Type Theory
Quick Look
Normalization for multimodal type theory
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
Quick Look
Canonicity and homotopy canonicity for cubical type theory
Load more items
View Record
Prev
Explore related channels
Next
