scientific article; zbMATH DE number 5345348

MaRDI QIDQ3525844zbMATH OpenFDO

Authors Andrew D. Gordon

Publication date 18 September 2008

zbMATH Keywords

functional programminglambda calculusAbramski's applicative bisimulation

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

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