The λs-calculus: its typed and its extended versions (1995)

by F Kamareddine, A Ríos