Skip to content
<title>Channels - Algebraic Presentations of Type Dependency :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Algebraic Presentations of Type Dependency
Search for more channels:
Similar Items: Algebraic Presentations of Type Dependency
Channel Options
View Record
Explore related channels
Quick Look
Dynamic Dependency Pairs for Algebraic Functional Systems
Quick Look
The Algebraic Intersection Type Unification Problem
Quick Look
Untyping Typed Algebras and Colouring Cyclic Linear Logic
Quick Look
Multimodal Dependent Type Theory
Quick Look
Aspects of algebraic Algebras
Quick Look
A dependent nominal type theory
Quick Look
Linear Dependent Types and Relative Completeness
Quick Look
Algebraic Language Theory for Eilenberg--Moore Algebras
Quick Look
Sequential decision problems, dependent types and generic solutions
Quick Look
An extensible equality checking algorithm for dependent type theories
Quick Look
Linear Dependent Type Theory for Quantum Programming Languages
Quick Look
Algebraic coherent confluence and higher globular Kleene algebras
Quick Look
Elgot Algebras
Quick Look
Overlap Algebras: a Constructive Look at Complete Boolean Algebras
Quick Look
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
Quick Look
Algebraic Notions of Termination
Quick Look
Epistemic Updates on Algebras
Quick Look
Handling Algebraic Effects
Quick Look
Inferring Algebraic Effects
Quick Look
Regular Tree Algebras
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
Conway games, algebraically and coalgebraically
Quick Look
Formal Theories for Linear Algebra
Load more items
View Record
Prev
Explore related channels
Next
