# Haut PDF Linear logic and lazy computation

### Linear logic and lazy computation

19

### en fr Programming, Computation and their Analysis using Nets from Linear Logic Programmer, calculer et raisonner avec les réseaux de la Logique Linéaire

278

### Cones as a model of intuitionistic linear logic

**and**Tasson a model of probabilistic higher or- der

**computation**based on (positive) cones,

**and**a class of to- tally monotone functions that we called ...cones

**and**

**linear**...

20

### Linear logic as a foundation for service-oriented computing

**and**programming point of view, which is related to our ...essentially

**computation**-oriented

**and**not ...recursion

**and**aggregation, but also concurrent process ...resources

**and**...

19

### Translating types and effects with state monads and linear logic

**and**sequential ...concurrent

**computation**, in the sense of ...case

**and**leave multithreading for future work: here proof nets provide for a direct representation of the dependencies among ...

15

### On Finite Domains in First-Order Linear Temporal Logic

**and**only if M accepts u in at most N ...the

**computation**of M ...p(x)

**and**time instant t(x) described by an element x of the ...machine,

**and**q(x) for q in the state space of the machine to ...

24

### Introduction to linear logic and ludics, part II

**and**proof ...net

**and**to sort out those which are “meaningful ” ...some

**computation**) is ...Danos

**and**Regnier [22]) since they say something about the reduction of the proof net without ...

50

### The inverse Taylor expansion problem in linear logic

**and**its Taylor expansion might be the starting point of renewing the logical approach to the quantitative analysis of

**computation**started with the inception of ...program

**and**its Taylor expansion ...

11

### A Call-By-Push-Value FPC and its interpretation in Linear Logic

**and**ordinary types, recursive positive types

**and**with a fix- point operator for ...integers,

**lazy**integers, lists, streams, various kinds of finite

**and**infinite ...PCF

**and**is ...

15

### Interaction Graphs: Full Linear Logic

**and**complete ...monoid

**and**the measure- ment of weights seem to be related to different computational paradigms

**and**can be used, for instance, for representing probabilistic

**computation**...

16

### Polynomial time in untyped elementary linear logic

**linear**

**logic**. We have shown how they characterize PTIME

**computation**(Theorems 2

**and**3),

**and**more generally k-EXPTIME com- putation (Theorem ...types

**and**the non-affine ...

41

### Object calculi in linear logic

**and**G-formula g,

**and**may be thought of as describing a

**computation**that first compiles the term m into a program p

**and**then uses the resulting program to solve the goal ...formulas ...

35

### Semantics of linear logic and higher-order model-checking

**and**an inductive-coinductive fixpoint lifting the corresponding constructions of our infinitary relational ...[Ter12]

**and**Ehrhard [Ehr12a]

**and**equip them with coloring

**and**an ...

300

### Higher-order distributions for differential linear logic.

**and**infinite set of input data, a program will at each

**computation**use only a finite amount of ...Content

**and**related work In this paper, we interpret the exponential as an inductive limit ...

21

### Concurrency, references and linear logic

**and**Effects Automatic parallelization is not the only challenge of modern ...programs

**and**in the same time competing for ...dimension

**and**offer primitives to perform

**and**control ...

154

### Par Means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs

**and**firm foundations for concurrent ...implement

**and**more practical than the purely synchronous paradigm, so it is widespread

**and**asynchronous typed process calculi have been already ...

37

### Combining Linear Logic and Size Types for Implicit Complexity

**and**characterize complexity classes such as FPTIME or ...from

**linear**

**logic**

**and**defines type systems based on restricted versions of the ”!” modality controlling ...light

**linear**...

37

### Vectorial Languages and Linear Temporal Logic

**computation**effi- ciently, especially when dealing with very large ...vectors

**and**working on them using vectorial (parallel) operations al- lows to solve the problem faster than in

**linear**time ...

13

### An introduction to Differential Linear Logic: proof-nets, models and antiderivatives

**Linear**functions are not allowed to copy their arguments

**and**are therefore very limited in terms of computational expressive power, the expo- nential allows one to define non

**linear**...

75

### Deep inference and expansion trees for second-order multiplicative linear logic

**and**exponentials. However, in this case 0 would not be initial. 9. Conclusions In this paper we have ...

31