The Power of Linear Functions

DOI10.1007/11874683_8zbMath1225.03014OpenAlexW1488323854MaRDI QIDQ3613332

Maribel Fernández, Mário Florido, Sandra Alves, Ian Mackie

Publication date: 12 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11874683_8

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (8)

A type-assignment of linear erasure and duplication ⋮ Linearity and iterator types for Gödel's system \(\mathcal T\) ⋮ Combining linear logic and size types for implicit complexity ⋮ Gödel's system \(\mathcal T\) revisited ⋮ On the reification of semantic linearity ⋮ An Interaction Net Encoding of Gödel’s System  $$\mathcal {T}$$ ⋮ The Power of Closed Reduction Strategies ⋮ Minimality in a Linear Calculus with Iteration

This page was built for publication: The Power of Linear Functions