The Lambda Calculus Is Quantifiable.

Valentin Maestracci, Paolo Pistone

Browse the full CSL paper archive.