Add to ORKGThe λ-calculus is fundamental in the study of logic and computation. Partly this is because it is a ...
International audienceWe build a realizability model for linear logic using a name-passing process c...
The authors discuss possible lambda calculi for intuitionistic linear logic with exponential connect...
Contains fulltext : 175394.pdf (publisher's version ) (Open Access
Contains fulltext : 13362.pdf (publisher's version ) (Open Access
SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--91-189) / BLDSC ...
We introduce a calculus for concurrent and communicating processes, which is a direct and simple ext...
Contains fulltext : 13246.pdf (publisher's version ) (Open Access
Contains fulltext : 111279.pdf (preprint version ) (Open Access
Contains fulltext : 83381.pdf (preprint version ) (Open Access
Contains fulltext : HenkBarendregt.pdf (publisher's version ) (Open Access)68 p
Type-free lazy lambda-calculus is enriched with angelic parallelism and demonic nondeterminism. Call...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...
Contains fulltext : 13259.pdf (publisher's version ) (Open Access
Concurrency plays an important role in programming language design. Logic variables in the form of f...
The λ-calculus is fundamental in the study of logic and computation. Partly this is because it is a ...
International audienceWe build a realizability model for linear logic using a name-passing process c...
The authors discuss possible lambda calculi for intuitionistic linear logic with exponential connect...
Contains fulltext : 175394.pdf (publisher's version ) (Open Access
Contains fulltext : 13362.pdf (publisher's version ) (Open Access
SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--91-189) / BLDSC ...
We introduce a calculus for concurrent and communicating processes, which is a direct and simple ext...
Contains fulltext : 13246.pdf (publisher's version ) (Open Access
Contains fulltext : 111279.pdf (preprint version ) (Open Access
Contains fulltext : 83381.pdf (preprint version ) (Open Access
Contains fulltext : HenkBarendregt.pdf (publisher's version ) (Open Access)68 p
Type-free lazy lambda-calculus is enriched with angelic parallelism and demonic nondeterminism. Call...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...
Contains fulltext : 13259.pdf (publisher's version ) (Open Access
Concurrency plays an important role in programming language design. Logic variables in the form of f...
The λ-calculus is fundamental in the study of logic and computation. Partly this is because it is a ...
International audienceWe build a realizability model for linear logic using a name-passing process c...
The authors discuss possible lambda calculi for intuitionistic linear logic with exponential connect...