Constrained lambda calculus

Luis Mandel. Constrained lambda calculus. PhD thesis, Ludwig Maximilian University of Munich, Germany, 1995. [doi]

Abstract

Abstract is missing.