Bisimilarity as a theory of functional programming

DOI10.1016/S0304-3975(98)00353-3MaRDI QIDQ1575889zbMATHOpenAlexFDO

Authors Andrew D. Gordon

Publication date 23 August 2000

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

Full work available at URL https://doi.org/10.1016/s0304-3975(98)00353-3

zbMATH Keywords

functional programmingbisimilarityco-induction

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1231459
• Proving congruence of bisimulation in functional programming languages
• Logical Bisimulations and Functional Languages
• scientific article; zbMATH DE number 860036

Cited in

(17)

• A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case
• Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus
• A categorical framework for congruence of applicative bisimilarity in higher-order languages
• A Complete, Co-inductive Syntactic Theory of Sequential Control and State
• Asymptotic speedups, bisimulation and distillation (work in progress)
• \(p\)-adic physics, non-well-founded reality and unconventional computing
• Observational program calculi and the correctness of translations
• On the observational theory of the CPS-calculus
• Reasoning about multi-stage programs
• Amb Breaks Well-Pointedness, Ground Amb Doesn't
• On generic context lemmas for higher-order calculi with sharing
• scientific article; zbMATH DE number 7407781 (Why is no real title available?)
• Logical predicates in higher-order mathematical operational semantics
• Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi
• Operational domain theory and topology of sequential programming languages
• From applicative to environmental bisimulation
• Bisimulations for delimited-control operators

This page was built for publication: Bisimilarity as a theory of functional programming

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