We present an order-extensional, order (or inequationally) fully abstract model for Scott's
language pcf. The approach we have taken is very concrete and in nature goes back to S. C …

The neutron longitudinal and transverse asymmetries A 1 n and A 2 n have been extracted
from deep inelastic scattering of polarized electrons by a polarized He 3 target at incident …

Repetitive and ambiguous visual structures in general pose a severe problem in many
computer vision applications. Identification of incorrect geometric relations between images …

Proof-carrying code (PCC) is a framework for mechanically verifying the safety of machine
language programs. A program that is successfully verified by a PCC system is guaranteed …

The aim of this chapter is to give an introduction to some recent work on the application of
game semantics to the study of programming languages. An initial success for game …

The Business Process Model and Notation (BPMN) is a standard for business process
modeling that is very common in professional practice due to its expressiveness, the well …

Call-by-push-value is a new paradigm that subsumes the call-by-name and call-by-value
paradigms, in the following sense: both operational and denotational semantics for those …

A category of HO/N-style games and probabilistic strategies is developed where the
possible choices of a strategy are quantified so as to give a measure of the likelihood of …

We present ReactiveML, a programming language dedicated to the implementation of
complex reactive systems as found in graphical user interfaces, video games or simulation …

We universally characterize the produoidal category of monoidal lenses over a monoidal
category. In the same way that each category induces a cofree promonoidal category of …