Call-by-value Solvability

DOI10.1051/ITA:1999130MaRDI QIDQ4953339zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Luca Paolini, Simona Ronchi Della Rocca

Publication date 9 May 2000

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92618, http://www.di.unito.it/~paolini/

zbMATH Keywords

solvability\(\lambda\)-calculus

Mathematics Subject Classification ID

Turing machines and related notions (03D10)

Recommendations

• Call-by-value solvability, revisited
• A Semantical and Operational Account of Call-by-Value Solvability
• No solvable lambda-value term left behind
• Standardization of a Call-By-Value Lambda-Calculus
• Solvability = typability + inhabitation

Cites work

• scientific article; zbMATH DE number 92599 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• A filter lambda model and the completeness of type assignment
• An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Full abstraction in the lazy lambda calculus
• The Mechanical Evaluation of Expressions
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(19)

• scientific article; zbMATH DE number 2044494 (Why is no real title available?)
• Strong normalization from an unusual point of view
• Linearity, non-determinism and solvability
• Parametric parameter passing \(\lambda\)-calculus
• Strong call-by-value and multi types
• A Fresh Look at the λ-Calculus
• Solvability = typability + inhabitation
• A Semantical and Operational Account of Call-by-Value Solvability
• Open call-by-value
• System \(T\), call-by-value and the minimum problem
• Proof nets and the call-by-value \(\lambda\)-calculus
• scientific article; zbMATH DE number 7577567 (Why is no real title available?)
• scientific article; zbMATH DE number 7226008 (Why is no real title available?)
• Light genericity
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Head reduction and normalization in a call-by-value lambda-calculus
• Call-by-value solvability, revisited
• Implementing open call-by-value
• Solvability for generalized applications

Describes a project that uses

Uses Software

• Haskell
• ML

This page was built for publication: Call-by-value Solvability

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