Similar Items: LNL-FPC: The Linear/Non-linear Fixpoint Calculus
- LNL polycategories and doctrines of linear logic
- Lineal: A linear-algebraic Lambda-calculus
- Linear-use CPS translations in the Enriched Effect Calculus
- Convexity and Order in Probabilistic Call-by-Name FPC
- Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems
- Type Reconstruction for the Linear pi-Calculus with Composite Regular Types