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

Local Termination: theory and practice

Logic + control: An example of program construction

Logic Column 10: Specifying Confidentiality

Logic Column 11: The Finite and the Infinite in Temporal Logic

Logic Column 12: Logical Verification and Equational Verification

Logic Column 14: Nominal Logic and Abstract Syntax

Logic Column 15: Coalgebras and Their Logics

Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight