Non deterministic classical logic: the $λμ^{++}$-calculus
| dc.creator | Nour, Karim | |
| dc.date | 2009-05-04 | |
| dc.date.accessioned | 2026-07-07T13:11:31Z | |
| dc.date.available | 2026-07-07T13:11:31Z | |
| dc.description | 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. | |
| dc.identifier | https://arxiv.org/abs/0905.0456 | |
| dc.identifier | http://arxiv.org/abs/0905.0456 | |
| dc.identifier | Mathematical Logic Quarterly 48 (2002) 357 - 366 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/229306 | |
| dc.subject | Logic | |
| dc.title | Non deterministic classical logic: the $λμ^{++}$-calculus | |
| dc.type | text |