scientific article; zbMATH DE number 1231468

MaRDI QIDQ4222771zbMATH OpenFDO

Authors J. Maraist, Martin Odersky, David N. Turner, Philip Wadler

Publication date 10 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume1.htm#maraist

zbMATH Keywords

call-by-namecall-by-needcall-by-valueCurry-Howard isomorphismtranslation of intuitionistic logic into linear logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Call-by-name, call-by-value, call-by-need and the linear lambda calculus
• The call-by-need lambda calculus
• scientific article; zbMATH DE number 1444323
• The bang calculus and the two Girard's translations
• Classical by-need

Cited in

(29)

• Strong normalization from weak normalization in typed \(\lambda\)-calculi
• Lambda calculus with explicit recursion
• On the semantics of the call-by-name CPS transform
• Call-by-name, call-by-value, call-by-need and the linear lambda calculus
• The name discipline of uniform receptiveness
• Effectful applicative similarity for call-by-name lambda calculi
• Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus
• Linear dependent types in a call-by-value scenario
• A call-by-name lambda-calculus machine
• Weak linearization of the lambda calculus
• Classical by-need
• The Call-by-Need Lambda Calculus, Revisited
• Linearity in the non-deterministic call-by-value setting
• Call-by-value, call-by-name and the vectorial behaviour of the algebraic -calculus
• The essence of dependent object types
• Call-by-value non-determinism in a linear logic type discipline
• Small-step and big-step semantics for call-by-need
• scientific article; zbMATH DE number 1086682 (Why is no real title available?)
• scientific article; zbMATH DE number 1953273 (Why is no real title available?)
• Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: \textit{a minimalist approach}
• The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving
• The call-by-value λ-calculus: a semantic investigation
• Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus
• The bang calculus and the two Girard's translations
• Modal embeddings and calling paradigms
• Term Rewriting and Applications
• Call-by-value combinatory logic and the lambda-value calculus
• Meaningfulness and genericity in a subsuming framework (invited talk)
• Call-by-push-value: Decomposing call-by-value and call-by-name

This page was built for publication:

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