Metric Reasoning about λ-Terms: The Affine Case.

Raphalle Crubill, Ugo Dal Lago

Browse the full LICS paper archive.