The lazy lambda calculus in a concurrency scenario
Information and computation, 1994 - Elsevier
The use of λ-calculus in richer settings, possibly involving parallelism, is examined in terms
of the effect on the equivalence between λ-terms. We concentrate on Abramsky′ s lazy λ …
of the effect on the equivalence between λ-terms. We concentrate on Abramsky′ s lazy λ …
The lazy lambda calculus in a concurrency scenario
D Sangiorgi - 1992 Proceedings of the Seventh Annual IEEE …, 1992 - computer.org
We present a novel framework to automatically separate brain region from other non-brain
regions in head images. The idea of the proposed method is to estimate larger scale …
regions in head images. The idea of the proposed method is to estimate larger scale …
[PS][PS] The Lazy Lambda Calculus in a Concurrency Scenario
D Sangiorgi - cs.unibo.it
The use of-calculus in richer settings, possibly involving parallelism, is examined in terms of
the e ect on the equivalence between-terms. We concentrate on Abramsky's lazy-calculus …
the e ect on the equivalence between-terms. We concentrate on Abramsky's lazy-calculus …
The lazy lambda calculus in a concurrency scenario
D Sangiorgi - [1992] Proceedings of the Seventh Annual IEEE …, 1992 - ieeexplore.ieee.org
The use of lambda calculus in richer settings, possibly involving parallelism, is examined in
terms of its effect on the equivalence between lambda terms, focusing on S. Abramsky's (Ph …
terms of its effect on the equivalence between lambda terms, focusing on S. Abramsky's (Ph …
[PDF][PDF] The Lazy Lambda Calculus in a Concurrency Scenario
D Sangiorgi - Citeseer
The use of-calculus in richer settings, possibly involving parallelism, is examined in terms of
the e ect on the equivalence between-terms. We concentrate on Abramsky's lazy-calculus …
the e ect on the equivalence between-terms. We concentrate on Abramsky's lazy-calculus …
[引用][C] The Lazy Lambda Calculus in a Concurrency Scenario
D Sangiorgi - Information and Computation, 1994 - cir.nii.ac.jp
[PDF][PDF] The Lazy Lambda Calculus in a Concurrency Scenario
D SANGIORGI - INFORMATION AND COMPUTATION, 1994 - core.ac.uk
The use of A-calculus in richer settings, possibly involving parallelism, is examined in terms
of the effect on the equivalence between A-terms. We concentrate on Abramsky's lazy A …
of the effect on the equivalence between A-terms. We concentrate on Abramsky's lazy A …
[引用][C] The lazy lambda calculus in a concurrency scenario
D SANGIORGI - Information and computation (Print), 1994 - pascal-francis.inist.fr
The lazy lambda calculus in a concurrency scenario CNRS Inist Pascal-Francis CNRS
Pascal and Francis Bibliographic Databases Simple search Advanced search Search by …
Pascal and Francis Bibliographic Databases Simple search Advanced search Search by …
[引用][C] The lazy Lambda calculus in a concurrency scenario
D Sangiorgi - Information and Computation, 1994 - dl.acm.org
The lazy Lambda calculus in a concurrency scenario | Information and Computation skip to main
content ACM Digital Library home ACM home Google, Inc. (search) Advanced Search Browse …
content ACM Digital Library home ACM home Google, Inc. (search) Advanced Search Browse …
[PDF][PDF] The Lazy Lambda Calculus Й In a Concurrency Scenario
D Sangiorgi - 1991 - lfcs.inf.ed.ac.uk
The use of lambda calculus in richer settings, possibly involving parallelism, is examined in
terms of its effect on the equivalence between lambda terms. We concentrate here on …
terms of its effect on the equivalence between lambda terms. We concentrate here on …