-
Elementary Complexity and Geometry of Interaction.
This dataset has no description
-
A feasible algorithm for typing in Elementary Affine Logic.
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal... -
Elementary Complexity and Geometry of Interaction.
This dataset has no description
