Skip to content
<title>Channels - A dependent nominal type theory :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
A dependent nominal type theory
Search for more channels:
Similar Items: A dependent nominal type theory
Channel Options
View Record
Explore related channels
Quick Look
Automata theory in nominal sets
Quick Look
Multimodal Dependent Type Theory
Quick Look
Nominal Coalgebraic Data Types with Applications to Lambda Calculus
Quick Look
An extensible equality checking algorithm for dependent type theories
Quick Look
Linear Dependent Type Theory for Quantum Programming Languages
Quick Look
Completeness of Nominal PROPs
Quick Look
Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
Quick Look
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Quick Look
Full abstraction for nominal general references
Quick Look
Rule Formats for Nominal Process Calculi
Quick Look
On Nominal Syntax and Permutation Fixed Points
Quick Look
Modal Logics for Nominal Transition Systems
Quick Look
Residuality and Learning for Nondeterministic Nominal Automata
Quick Look
Normalisation by Evaluation for Type Theory, in Type Theory
Quick Look
General Bindings and Alpha-Equivalence in Nominal Isabelle
Quick Look
Formalising the pi-calculus using nominal logic
Quick Look
Algebraic Presentations of Type Dependency
Quick Look
Constraint solving in non-permutative nominal abstract syntax
Quick Look
From nominal to higher-order rewriting and back again
Quick Look
Linear Dependent Types and Relative Completeness
Quick Look
Psi-calculi: a framework for mobile processes with nominal data and logic
Quick Look
A modular construction of type theories
Quick Look
Idempotents in intensional type theory
Quick Look
Dualized Simple Type Theory
Load more items
View Record
Prev
Explore related channels
Next
