• Aucun résultat trouvé

[PDF] Top 20 Lambda-Calculus, Multiplicities and the pi-Calculus

Has 10000 "Lambda-Calculus, Multiplicities and the pi-Calculus" found on our website. Below are the top 20 most common "Lambda-Calculus, Multiplicities and the pi-Calculus".

Lambda-Calculus, Multiplicities and the pi-Calculus

Lambda-Calculus, Multiplicities and the pi-Calculus

... Unite´ de recherche INRIA Lorraine, Technopoˆle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LE`S NANCY Unite´ de recherche INRIA Rennes, Iri[r] ... Voir le document complet

37

On differential interaction nets and the pi-calculus

On differential interaction nets and the pi-calculus

... since the introduction of powerdomains by Plotkin in [Plo76] that denotational seman- tics can be extended with a reasonable amount of non-determinism, corresponding for instance to a non- deterministic choice ... Voir le document complet

52

Algebras and Coalgebras in the Light Affine Lambda Calculus

Algebras and Coalgebras in the Light Affine Lambda Calculus

... of the Light Affine Lambda Calculus (LALC) is in- spired by the restrictions provided by Light Affine ...Logic. The fo- cus of our work is on the expressivity of the ... Voir le document complet

13

Typechecking in the lambda-Pi-Calculus Modulo : Theory and Practice

Typechecking in the lambda-Pi-Calculus Modulo : Theory and Practice

... in the λΠ-Calculus Modulo: Theory and Practice Abstract: Automatic proof checking is about using a computer to check the validity of proofs of math- ematical ... Voir le document complet

169

Intersection Types and Runtime Errors in the Pi-Calculus

Intersection Types and Runtime Errors in the Pi-Calculus

... encoding the π -calculus in linear logic, π -calculus reduction is simulated by shallow proof net reduction (also known as surface reduction in linear λ-calculi [ Simpson 2005 ...]). The ... Voir le document complet

30

Hide and New in the Pi-Calculus

Hide and New in the Pi-Calculus

... that the restriction operator of π-calculus does not adequately ensure ...view, the envisaged use of the operator is for declaring secret a medium used for local inter-process communication; ... Voir le document complet

24

The Lambda-calculus with multiplicities

The Lambda-calculus with multiplicities

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

33

The Origins of lambda-calculus and term rewriting systems

The Origins of lambda-calculus and term rewriting systems

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

23

Incrementality and effect simulation in the simply typed lambda calculus

Incrementality and effect simulation in the simply typed lambda calculus

... considers the value of the term to be destructed. Then, the evaluation continues by comparing the value against the sequence tb 0  ¨ ¨ ¨  b m u, the comparison is denoted by ... Voir le document complet

135

Lambda-Calculus, Combinators and the Comprehension Scheme

Lambda-Calculus, Combinators and the Comprehension Scheme

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

28

Asynchrony and the Pi-calculus

Asynchrony and the Pi-calculus

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

20

Dynamic Compartments in the Imperative Pi Calculus

Dynamic Compartments in the Imperative Pi Calculus

... removal and merging. These op- erations may influence the speed of diverse reactions within compartments, in particular when compartment volumes change (global to local ...volume and surface (local ... Voir le document complet

22

A Lambda-calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure

A Lambda-calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure

... While the structure of the usual  -calculus is isomorphic to the structure of natural deduction, this new structure is isomorphic to the structure of Gentzen-style sequent ...express ... Voir le document complet

16

Non-idempotent typing operators, beyond the lambda-calculus

Non-idempotent typing operators, beyond the lambda-calculus

... FUNCTIONS AND TERMINATION 19 The Decision Problem Hilbert had complemented his consistency program with the so-called Entscheidungsproblem (literally, the Decision Problem), which consisted in ... Voir le document complet

370

Determinacy in a synchronous pi-calculus

Determinacy in a synchronous pi-calculus

... in the context of CCS rendez-vous communication, it seems quite natural to restrict the calculus so that interaction is point-to-point, ...sender and one receiver. 1 In a synchronous ... Voir le document complet

21

Call-by-Value Lambda-calculus and LJQ

Call-by-Value Lambda-calculus and LJQ

... sequent calculus for intuitionistic logic, with a simple re- striction on the first premiss of the usual left introduction rule for ...yond) and presented its basic theory and some ... Voir le document complet

25

On the Representation of References in the pi-calculus

On the Representation of References in the pi-calculus

... for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or ...not. The documents may come from teaching and research institutions in France or ... Voir le document complet

27

On the Representation of References in the Pi-Calculus

On the Representation of References in the Pi-Calculus

... for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or ...not. The documents may come from teaching and research institutions in France or ... Voir le document complet

21

ASMs and Operational Algorithmic Completeness of Lambda Calculus

ASMs and Operational Algorithmic Completeness of Lambda Calculus

... 1.2 Lambda Calculus and Operational Completeness In this paper we consider lambda calculus, a subject created by Church and Kleene in the 30’s, which enjoys a very rich ... Voir le document complet

38

On the confluence of lambda-calculus with conditional rewriting

On the confluence of lambda-calculus with conditional rewriting

... rewriting. The semi-closure condition is sufficient to avoid this, and it seems to provide the counterpart of left-linearity for unconditional ...condition and besides, to characterize a class ... Voir le document complet

44

Show all 10000 documents...