File(s) not publicly available
The Power of Linear Functions
presentation
posted on 2023-06-08, 07:39 authored by Sandra Alves, Maribel Fernández, Mario Florido, Ian MackieIan MackieThe 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ödel’s System T and study the class of functions that can be represented. Surprisingly, this linear calculus is extremely expressive: it is as powerful as System T.
History
Publication status
- Published
Publisher
SpringerPages
16.0Presentation Type
- paper
Event name
Lecture Notes in Computer ScienceEvent type
conferenceISBN
3-540-45458-6Department affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC