A Continuum of Theories of Lambda Calculus without Semantics

Antonino Salibra. A Continuum of Theories of Lambda Calculus without Semantics. In LICS. pages 334-346, 2001.

Abstract

Abstract is missing.