Distributive semantics for nondeterministic typed -calculi

DOI10.1016/0304-3975(84)90027-6MaRDI QIDQ760418zbMATH OpenOpenAlexFDO

Authors Egidio Astesiano, Gerardo Costa

Publication date 1984

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(84)90027-6

zbMATH Keywords

denotational semanticsrewriting systemsoperational semanticsapplicative languagesdistributive modelsfully abstract modelsnondeterministic binary choice operatornondeterministic languagestyped lambda-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65)

Recommendations

• Nondeterministic extensions of untyped \(\lambda\)-calculus
• Probabilistic operational semantics for the lambda calculus
• scientific article; zbMATH DE number 1231463
• A fully abstract semantics for a higher-order functional language with nondeterministic computation
• A non-deterministic call-by-need lambda calculus

Cites work

• scientific article; zbMATH DE number 3646849 (Why is no real title available?)
• scientific article; zbMATH DE number 3648114 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 3723839 (Why is no real title available?)
• scientific article; zbMATH DE number 3724430 (Why is no real title available?)
• scientific article; zbMATH DE number 3756446 (Why is no real title available?)
• scientific article; zbMATH DE number 3765113 (Why is no real title available?)
• scientific article; zbMATH DE number 3466555 (Why is no real title available?)
• scientific article; zbMATH DE number 3567994 (Why is no real title available?)
• scientific article; zbMATH DE number 3590261 (Why is no real title available?)
• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 3630188 (Why is no real title available?)
• scientific article; zbMATH DE number 3635472 (Why is no real title available?)
• A Powerdomain Construction
• A mathematical semantics for a nondeterministic typed lambda-calculus
• Formal computations of non deterministic recursive program schemes
• Fully abstract models of typed \(\lambda\)-calculi
• LCF considered as a programming language
• Parameter passing in nondeterministic recursive programs
• The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment

Cited in

(5)

• scientific article; zbMATH DE number 1956558 (Why is no real title available?)
• scientific article; zbMATH DE number 3928341 (Why is no real title available?)
• scientific article; zbMATH DE number 627411 (Why is no real title available?)
• scientific article; zbMATH DE number 3856436 (Why is no real title available?)
• scientific article; zbMATH DE number 742726 (Why is no real title available?)

This page was built for publication: Distributive semantics for nondeterministic typed \(\lambda\)-calculi

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