A ...-calculus with an algorithmic ... .
Longo, G. ; Venturini Zilli, M.
Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), p. 41-52 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1980-01-01
EUDML-ID : urn:eudml:doc:137959 
@article{GDZPPN002045087,
     title = {A ...-calculus with an algorithmic ... .},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {20},
     year = {1980},
     pages = {41-52},
     zbl = {0432.03011},
     url = {http://dml.mathdoc.fr/item/GDZPPN002045087}
}

Longo, G.; Venturini Zilli, M. A ...-calculus with an algorithmic ... .. Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980) pp. 41-52. http://gdmltest.u-ga.fr/item/GDZPPN002045087/