Linearity, non-determinism and solvability
From MaRDI portal
Publication:3000282
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
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)