Skip to content
<title>Channels - Linear Abadi and Plotkin Logic :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Linear Abadi and Plotkin Logic
Search for more channels:
Similar Items: Linear Abadi and Plotkin Logic
Channel Options
View Record
Explore related channels
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
LNL polycategories and doctrines of linear logic
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
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
Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
Quick Look
The complexity of linear-time temporal logic over the class of ordinals
Quick Look
Making first order linear logic a generating grammar
Quick Look
Two Variable vs. Linear Temporal Logic in Model Checking and Games
Load more items
View Record
Prev
Explore related channels
Next
