A theory of sequentiality

DOI10.1016/0304-3975(93)90005-EMaRDI QIDQ1802073zbMATH OpenFDO

Authors Antonio Bucciarelli, Thomas Ehrhard

Publication date 8 August 1993

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

Full work available at URL https://doi.org/10.1016/0304-3975(93)90005-E

zbMATH Keywords

function spacesequentialitysequential algorithmDI-domainsequential strucuture

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Recommendations

• Sequentiality in an extensional framework
• Concrete domains
• Sequential functions on indexed domains and full abstraction for a sub-language of PCF
• Some reasons for generalising domain theory
• A synthetic theory of sequential domains

Cites work

• scientific article; zbMATH DE number 4048997 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Linear logic

Cited in

(13)

• A relative PCF-definability result for strongly stable functions and some corollaries
• Monoidal-closed categories of tree automata
• scientific article; zbMATH DE number 1531361 (Why is no real title available?)
• On the symmetry of sequentiality
• scientific article; zbMATH DE number 2182492 (Why is no real title available?)
• Admissible generalisation of temporal sequences as chronicles
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• A syntactic theory of sequential state
• Projecting sequential algorithms on strongly stable functions
• A stable programming language
• Phenomenology of choice sequences
• On the reification of semantic linearity
• What is sequentiality?

This page was built for publication: A theory of sequentiality

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