Minimality in a Linear Calculus with Iteration

Alves, Sandra, Florido, Mario, Mackie, Ian and Sinot, François-Régis (2008) Minimality in a Linear Calculus with Iteration. In: Electronic Notes in Theoretical Computer Science.

Full text not available from this repository.


System L is a linear version of Godel's System T, where the @l-calculus is replaced with a linear calculus; or alternatively a linear @l-calculus enriched with some constructs including an iterator. There is thus at the same time in this system a lot of freedom in reduction and a lot of information about resources, which makes it an ideal framework to start a fresh attempt at studying reduction strategies in @l-calculi. In particular, we show that call-by-need, the standard strategy of functional languages, can be defined directly and effectively in System L, and can be shown minimal among weak strategies.

Item Type: Conference or Workshop Item (Paper)
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: Ian Mackie
Date Deposited: 06 Feb 2012 20:13
Last Modified: 13 Apr 2012 13:48
📧 Request an update