Linearity, non-determinism and solvability

DOI10.3233/FI-2010-324zbMATH Open1244.03056OpenAlexW1615235828MaRDI QIDQ3000282FDOQ3000282

Authors: Michele Pagani, Simona 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

Recommendations

• Solvability in resource lambda-calculus
• Standardization in resource \(\lambda\)-calculus
• A Semantical and Operational Account of Call-by-Value Solvability
• Call-by-value Solvability
• A semantics for lambda calculi with resources

Mathematics Subject Classification ID

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

Cited In (10)

• Title not available (Why is that?)
• Call-by-value non-determinism in a linear logic type discipline
• Extensional proofs in a propositional logic modulo isomorphisms
• Solvability in resource lambda-calculus
• Title not available (Why is that?)
• Böhm's theorem for resource lambda calculus through Taylor expansion
• Title not available (Why is that?)
• Non-deterministic linear hypersubstitutions
• Linear concepts and hidden variables
• The vectorial \(\lambda\)-calculus

This page was built for publication: Linearity, non-determinism and solvability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000282)