Sciweavers

CSL
2006
Springer

The Power of Linear Functions

13 years 7 months ago
The Power of Linear Functions
Abstract. The linear lambda calculus is very weak in terms of expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension with Booleans, natural numbers and a linear iterator. We show properties of this linear version of G
Sandra Alves, Maribel Fernández, Már
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where CSL
Authors Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Comments (0)