Least and greatest fixpoints in game semantics
Lecture notes on the lambda calculus
Lectures on Jacques Herbrand as a Logician
Levels of Undecidability in Infinitary Rewriting: Normalization and Reachability
Lifted Unit Propagation for Effective Grounding
Light Affine Logic (Proof Nets, Programming Notation, P-Time Correctness and Completeness)
Light Logics and Higher-Order Processes
Light Logics and Optimal Reduction: Completeness and Complexity
Light types for polynomial time computation in lambda-calculus
Lindstrom theorems for fragments of first-order logic
Linear Datalog and Bounded Path Duality of Relational Structures
Linear Encodings of Bounded LTL Model Checking
Linear lambda Calculus with Explicit Substitutions as Proof-Search in Deep Inference
Linear Logic by Levels and Bounded Time Complexity
Linear Recursion
Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)
Linear Time Algorithm for Weak Parity Games
Linearization of CIF Through SOS
Linearly bounded infinite graphs
Lissom, a Source Level Proof Carrying Code Platform