Publication:4385534
From MaRDI portal
zbMath0900.68122MaRDI QIDQ4385534
Publication date: 14 May 1998
68N15: Theory of programming languages
Related Items
Logic, logics, and logicism, Type system in programming languages, Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators, On behavioural abstraction and behavioural satisfaction in higher-order logic, A combinatory logic approach to higher-order E-unification, Full abstraction for the second order subset of an Algol-like language, Termination of system \(F\)-bounded: A complete proof, The definition of Extended ML: A gentle introduction, Typed operational semantics for higher-order subtyping., Soundness of data refinement for a higher-order imperative language, Annotation inference for modular checkers, Type-directed specialization of polymorphism., Bisimilarity of open terms., Equality between functionals in the presence of coproducts, Data refinement, call by value and higher order programs, Linear Läuchli semantics, On phase semantics and denotational semantics in multiplicative-additive linear logic