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 …

Go back to An-fang, the Peace Square at An-Fang, the Beginning Place at An-Fang, where
all things start (…) An-Fang was near a city, the only living city with a pre-atomic name (…) …

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

This book serves as an introduction to an area of computability theory that originated in the
1950s, and since then has fanned out in many different directions under the influence of …

A games model of a programming language with higher-order store in the style of ML-
references is introduced. The category used for the model is obtained by relaxing certain …

We present an axiomatic framework for Girard's Geometry of Interaction based on the notion
of linear combinatory algebra. We give a general construction on traced monoidal …

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 …

A system of linear dependent types for the lambda calculus with full higher-order recursion,
called dlPCF, is introduced and proved sound and relatively complete. Completeness holds …

The “classical” paradigm for denotational semantics models data types as domains, ie
structured sets of some kind, and programs as (suitable) functions between domains. The …

We present the general theory of the method of glueing and associated technique of
orthogonality for constructing categorical models of all the structure of linear logic: in …