System L: a linear version of Godel System T
In this talk we present System L, a simple extension of the linear lambda calculus with Booleans, natural numbers and a linear iterator. We will show properties of this linear calculus and show the class of functions that can be represented. Surprisingly, this calculus is extremely expressive: it is as powerful as Godel's System T.
Areas of interest
Logic and Computation
Mário Florido (DCC, UP)
November 19, 2007