We give a first-principles description of the context semantics of Gonthier, Abadi, and Lévy, a computer-science analogue of Girard's geometry of interaction.

Abstract. We give a first-principles description of the context semantics of Gonthier, Abadi, and Lévy, a computer-science analogue of Girard's geometry of ...

Title. From hilbert spaces to dilbert spaces: Context semantics made simple ; Creators. Harry G Mairson - Brandeis University ; Publication Details. Lecture notes ...

We give a rst-principles description of the context semantics of Gonthier, Abadi, and L evy, a computer-science analogue of Girard's geometry of interaction ...

We give a tutorial and first-principles description of the context semantics of Gonthier, Abadi, and Lévy [5, 4], a computer-science analogue of Girard's ...

From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis · Author: · Harry G. Mairson. Brandeis University, Waltham, MA.

Context semantics is a computer-science analogue of Girard's geometry of interaction, which was designed to give a denotational meaning to proofs in linear ...

The context semantics provides a low-level coding mechanism for describing such flows, the positions of subexpressions and head variables in Bohm trees, as well ...

Dec 15, 2021 · Mairson, “From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple”, Proceedings of FST TCS 2002. (pdf). Linear Logic Wiki ...

From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple ... We relate the context semantics to linear logic types and to ideas from game semantics ...