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

• Type: Conference
• Year: 2006
• Where: CSL
• Authors: Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
• Keywords: Automated Reasoning, CSL 2006, Linear, Linear Iterator, Linear Lambda Calculus