scientific article

From MaRDI portal
Publication:2704328

zbMath0967.68035MaRDI QIDQ2704328

I. Stark, Andrew M. Pitts

Publication date: 19 March 2001


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (38)

A theory of bisimulation for a fragment of concurrent ML with local namesAn approach to deciding the observational equivalence of Algol-like languagesA Nominal Relational Model for Local StoreNewA Complete, Co-inductive Syntactic Theory of Sequential Control and StateAlgorithmic games for full ground referencesCall-by-push-value: Decomposing call-by-value and call-by-nameAn observationally complete program logic for imperative higher-order functionsFull abstraction for Reduced MLA bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocationSemantic preservation for a type directed translation scheme of Featherweight GoProgram equivalence in an untyped, call-by-value functional language with uncurried functionsA relational realizability model for higher-order stateful ADTsProgram equivalence in a simple language with stateML and Extended Branching VASSA Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure OperatorsLocal variable scoping and Kleene algebra with testsFull abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic casesAlgorithmic Nominal Game SemanticsComplete trace models of state and controlProving correctness of a compiler using step-indexed logical relationsA Fragment of ML Decidable by Visibly Pushdown AutomataOn generic context lemmas for higher-order calculi with sharingProof-Relevant Logical Relations for Name GenerationHard Life with Weak BindersCapsules and ClosuresFrom Applicative to Environmental BisimulationFunctions with local state: regularity and undecidabilityTyping termination in a higher-order concurrent imperative languageFull Abstraction for Reduced MLUnnamed ItemUnnamed ItemA Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General ReferencesThe lambda-context calculus (extended version)On a monadic semantics for freshnessUnnamed ItemGenericity and the \(\pi\)-calculusGradual type theory


Uses Software



This page was built for publication: