Academic Journals Database
Disseminating quality controlled scientific knowledge

Extensional Models of Untyped Lambda-mu Calculus

Author(s): Koji Nakazawa | Shin-ya Katsumata

Journal: Electronic Proceedings in Theoretical Computer Science
ISSN 2075-2180

Volume: 97;
Issue: Proc. CL;
Start page: 35;
Date: 2012;
Original page

This paper proposes new mathematical models of the untyped Lambda-mu calculus. One is called the stream model, which is an extension of the lambda model, in which each term is interpreted as a function from streams to individual data. The other is called the stream combinatory algebra, which is an extension of the combinatory algebra, and it is proved that the extensional equality of the Lambda-mu calculus is equivalent to equality in stream combinatory algebras. In order to define the stream combinatory algebra, we introduce a combinatory calculus SCL, which is an abstraction-free system corresponding to the Lambda-mu calculus. Moreover, it is shown that stream models are algebraically characterized as a particular class of stream combinatory algebras.
RPA Switzerland

RPA Switzerland

Robotic process automation


Tango Rapperswil
Tango Rapperswil