activity
20102026
most citedLiquid Intersection Types

4 citations · 11 across the 11 of their papers we have counts for

collaborators
Showing 2010Show all

2 papers · 1 filter

cs.LO2010★ 1 cited

Proceedings First International Workshop on Linearity

Mário Florido, Ian Mackie

This volume contains the proceedings of LINEARITY 2009: the first International Workshop on Linearity, which took place 12th September 2009 in Coimbra, Portugal. The workshop was a…

cs.LO2010★ 1 cited

Linear Recursion

Sandra Alves, Maribel Fernández, Mário Florido +1

We define two extensions of the typed linear lambda-calculus that yield minimal Turing-complete systems. The extensions are based on unbounded recursion in one case, and bounded re…