scientific article; zbMATH DE number 431761

zbMATH Open0798.68098MaRDI QIDQ3138537FDOQ3138537

Authors: Pierre-Louis Curien 

Publication date: 31 October 1994

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3976319
• scientific article; zbMATH DE number 1549510
• Lambda-calculi for (strict) parallel functions
• Fully abstract semantics for observably sequential languages
• Sequential functions on indexed domains and full abstraction for a sub-language of PCF

zbMATH Keywords

programming languagesfull abstractiondomain theorysequentiality\(\lambda\)- calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Cited In (9)

• Game theoretic analysis of call-by-value computation
• Game-theoretic analysis of call-by-value computation
• Full abstraction for PCF
• Compositionality Entails Sequentializability
• Projecting sequential algorithms on strongly stable functions
• Softness of hypercoherences and MALL full completeness
• Sequential algorithms and strongly stable functions
• Sequentialising nested systems
• What is sequentiality?

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 Q3138537)