Distributive semantics for nondeterministic typed -calculi
DOI10.1016/0304-3975(84)90027-6zbMATH Open0555.03007OpenAlexW1996751264MaRDI QIDQ760418FDOQ760418
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
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
denotational semanticsrewriting systemsoperational semanticsapplicative languagesdistributive modelsfully abstract modelsnondeterministic binary choice operatornondeterministic languagestyped lambda-calculus
Cites Work
- LCF considered as a programming language
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Powerdomain Construction
- Title not available (Why is that?)
- Fully abstract models of typed \(\lambda\)-calculi
- The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
- Formal computations of non deterministic recursive program schemes
- A mathematical semantics for a nondeterministic typed lambda-calculus
- Parameter passing in nondeterministic recursive programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (5)
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)
