Year: 2009
Type: preprint
Abstract: In this paper, we present an extension of $λμ$-calculus called $λμ^{++}$-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on data types. This calculus allows also to program the parallel-or.
Source: arXiv (Cornell University)
Author: Nour, Karim
Institutions: Laboratoire de Mathématiques Blaise Pascal, Le LAMA
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2950168006