Premium
Non Deterministic Classical Logic: The λμ ++ ‐calculus
Author(s) -
Nour Karim
Publication year - 2002
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/1521-3870(200204)48:3<357::aid-malq357>3.0.co;2-l
Subject(s) - mathematics , calculus (dental) , algebra over a field , pure mathematics , medicine , dentistry
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.