On the representation of McCarthy's amb in the Pi-calculus
DOIAbstract
none3noneA. Carayol; D. Hirschkoff; D. SangiorgiA. Carayol; D. Hirschkoff; D. Sangiorg
none3noneA. Carayol; D. Hirschkoff; D. SangiorgiA. Carayol; D. Hirschkoff; D. Sangiorg
We develop a semantic theory based on testing for a minor variant of the ß-calculus. The resulting ...
AbstractThis paper presents co-inductive operational theories of program refinement and equivalence,...
SIGLEAvailable from British Library Document Supply Centre-DSC:5186.0913(EU-ECS-LFCS--95-338) / BLDS...
none3siWe study the encoding of, the call by name λ-calculus enriched with McCarthy's amb operator, ...
We study the encoding of λ[], the call by name λ-calculus enriched with McCarthy’s amb operator, int...
AbstractWe study the encoding of λ[], the call-by-name λ-calculus enriched with McCarthy's amb opera...
AbstractWe study the encoding of , the call by name λ-calculus enriched with McCarthy's amb operator...
SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--244) / BLDSC - Br...
Technical background Encoding the full λ-calculus into the pi-calculus How does the encoding work? C...
This document collects some important results about the theory of Milner's pi-calculus and related f...
from Richard W. Hamming collection (NPS-018), Naval Postgraduate School. Papers and Speeches.Typesc...
International audienceThe relations between the pi-calculus and logic have been less extensively stu...
SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--8/91) / BLDSC - B...
Part of the Algebra Commons This Article is brought to you for free and open access by the Mathemati...
An examination of the abridged notation introduced by Salmon for plane geometry. Culminating in its ...
We develop a semantic theory based on testing for a minor variant of the ß-calculus. The resulting ...
AbstractThis paper presents co-inductive operational theories of program refinement and equivalence,...
SIGLEAvailable from British Library Document Supply Centre-DSC:5186.0913(EU-ECS-LFCS--95-338) / BLDS...
none3siWe study the encoding of, the call by name λ-calculus enriched with McCarthy's amb operator, ...
We study the encoding of λ[], the call by name λ-calculus enriched with McCarthy’s amb operator, int...
AbstractWe study the encoding of λ[], the call-by-name λ-calculus enriched with McCarthy's amb opera...
AbstractWe study the encoding of , the call by name λ-calculus enriched with McCarthy's amb operator...
SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--244) / BLDSC - Br...
Technical background Encoding the full λ-calculus into the pi-calculus How does the encoding work? C...
This document collects some important results about the theory of Milner's pi-calculus and related f...
from Richard W. Hamming collection (NPS-018), Naval Postgraduate School. Papers and Speeches.Typesc...
International audienceThe relations between the pi-calculus and logic have been less extensively stu...
SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--8/91) / BLDSC - B...
Part of the Algebra Commons This Article is brought to you for free and open access by the Mathemati...
An examination of the abridged notation introduced by Salmon for plane geometry. Culminating in its ...
We develop a semantic theory based on testing for a minor variant of the ß-calculus. The resulting ...
AbstractThis paper presents co-inductive operational theories of program refinement and equivalence,...
SIGLEAvailable from British Library Document Supply Centre-DSC:5186.0913(EU-ECS-LFCS--95-338) / BLDS...
Add to ORKG