Skip to content
<title>Channels - LNL polycategories and doctrines of linear logic :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
LNL polycategories and doctrines of linear logic
Search for more channels:
Similar Items: LNL polycategories and doctrines of linear logic
Channel Options
View Record
Explore related channels
Quick Look
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
Quick Look
Quantitative Equality in Substructural Logic via Lipschitz Doctrines
Quick Look
Linear Abadi and Plotkin Logic
Quick Look
Bounded Linear Logic, Revisited
Quick Look
Weak topologies for Linear Logic
Quick Look
On noncommutative extensions of linear logic
Quick Look
Towards Races in Linear Logic
Quick Look
Functional Interpretations of Intuitionistic Linear Logic
Quick Look
Taylor expansion in linear logic is invertible
Quick Look
The succinctness of first-order logic on linear orders
Quick Look
The Complexity of Generalized Satisfiability for Linear Temporal Logic
Quick Look
Linear Temporal Logic for Regular Cost Functions
Quick Look
Dagger linear logic for categorical quantum mechanics
Quick Look
Linear-time logics -- a coalgebraic perspective
Quick Look
Zeta Functions and the (Linear) Logic of Markov Processes
Quick Look
Automata Linear Dynamic Logic on Finite Traces
Quick Look
Type Isomorphisms for Multiplicative-Additive Linear Logic
Quick Look
Unifying Graded Linear Logic and Differential Operators
Quick Look
Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
Quick Look
Untyping Typed Algebras and Colouring Cyclic Linear Logic
Quick Look
Categorical Proof Theory of Co-Intuitionistic Linear Logic
Quick Look
Constructing Fully Complete Models of Multiplicative Linear Logic
Quick Look
Two-variable Logic with Counting and a Linear Order
Quick Look
Making first order linear logic a generating grammar
Load more items
View Record
Prev
Explore related channels
Next
