Linearity, Non-determinism and Solvability

DOI10.3233/FI-2010-324zbMath1244.03056OpenAlexW1615235828MaRDI QIDQ3000282

Michele Pagani, Simonetta Ronchi della Rocca

Publication date: 18 May 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2010-324

Mathematics Subject Classification ID

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

Related Items (6)

Call-by-Value Non-determinism in a Linear Logic Type Discipline ⋮ Extensional proofs in a propositional logic modulo isomorphisms ⋮ Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion ⋮ The vectorial \(\lambda\)-calculus ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Linearity, Non-determinism and Solvability