Similar Items: Interaction Graphs: Exponentials
- Ludics with repetitions (Exponentials, Interactive types and Completeness)
- Point-free Construction of Real Exponentiation
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms
- Linear cost and exponentially convergent approximation of Gaussian Matérn processes on intervals
- Machine Space I: Weak exponentials and quantification over compact spaces