„linear lambda calculus“
Suchergebnisse
1.000+ Treffer
-
Full Abstraction for Resource Calculus with Tests
-
A List of Successes That Can Change the World – Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
-
IMELL Cut Elimination with Linear Overhead
-
A Linear Type System for L^p-Metric Sensitivity Analysis
-
Slightly Non-Linear Higher-Order Tree Transducers
-
How to Play the Accordion: Uniformity and the (Non-)Conservativity of the Linear Approximation of the λ-Calculus
-
A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact)
-
Semantic Bounds and Multi Types, Revisited
-
Linear Rank Intersection Types
-
On the Lattice of Program Metrics
-
Principal Types as Lambda Nets
-
Linear Lambda-Calculus is Linear
-
A Self-Dual Distillation of Session Types
-
Separating Sessions Smoothly
-
Λ-Symsym: An Interactive Tool for Playing with Involutions and Types
-
Combining Linear Logic and Size Types for Implicit Complexity
-
Is the Optimal Implementation Inefficient? Elementarily Not
-
Optimality and the Linear Substitution Calculus
-
On Classical PCF, Linear Logic and the MIX Rule
-
Modelling Coeffects in the Relational Semantics of Linear Logic