# Linearity, Non-determinism and Solvability

##### Citations

50 citations

### Cites background from "Linearity, Non-determinism and Solv..."

...Solvability has also been recently studied for some extensions of λ-calculus in [18,25], but both works consider a call-by-name calculus....

[...]

34 citations

### Cites background from "Linearity, Non-determinism and Solv..."

...Different assignment systems with nonidempotent intersection types have been studied in the literature for different purposes [8, 10, 18, 19, 24, 26, 27, 30, 35, 34]....

[...]

31 citations

26 citations

### Cites methods from "Linearity, Non-determinism and Solv..."

...In order to prove this relationship between essential and relational models, we adapt the pattern followed in Paolini et al. (2009), where a logical description of models based on coherence spaces is given....

[...]

26 citations

### Cites background from "Linearity, Non-determinism and Solv..."

...It may also be viewed as being part of a series of works on probabilistic extensions of calculi, e.g. [13, 31] and [19, 21, 35] for λ-calculus more specifically....

[...]

##### References

2,632 citations

787 citations

307 citations

226 citations