Non deterministic classical logic: the $\lambda\mu^{++}$-calculus
Nour, Karim
HAL, hal-00380931 / Harvested from HAL
Text on HAL
In this paper, we present an extension of $\lambda\mu$-calculus called $\lambda\mu^{++}$-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.
Publié le : 2002-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-00380931,
     author = {Nour, Karim},
     title = {Non deterministic classical logic: the $\lambda\mu^{++}$-calculus},
     journal = {HAL},
     volume = {2002},
     number = {0},
     year = {2002},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00380931}
}

Nour, Karim. Non deterministic classical logic: the $\lambda\mu^{++}$-calculus. HAL, Tome 2002 (2002) no. 0, . http://gdmltest.u-ga.fr/item/hal-00380931/