scientific article; zbMATH DE number 1968604

MaRDI QIDQ4422741zbMATH OpenFDO

Authors Alexander Rohr

Publication date 20 August 2003

Full work available at URL http://d-nb.info/968450415

zbMATH Keywords

FPCsequential functional programming language

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• A relational account of call-by-value sequentiality
• scientific article; zbMATH DE number 2061712
• scientific article; zbMATH DE number 1497736
• Full abstraction for PCF
• scientific article; zbMATH DE number 1531368

Cited in

(8)

• Universally serializable computation
• scientific article; zbMATH DE number 5999715 (Why is no real title available?)
• First-order universality for real programs
• A universality theorem for PCF with recursive types, parallel-or and ∃
• scientific article; zbMATH DE number 2061712 (Why is no real title available?)
• scientific article; zbMATH DE number 1497736 (Why is no real title available?)
• scientific article; zbMATH DE number 1531368 (Why is no real title available?)
• Linear realizability and full completeness for typed lambda-calculi

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