12 citations · 56 across the 23 of their papers we have counts for
20 papers · 1 filter
A more general categorical framework for congruence of applicative bisimilarity
Tom Hirschowitz, Ambroise Lafont
We prove a general congruence result for bisimilarity in higher-order languages, which generalises previous work to languages specified by a labelled transition system in which pro…
Variable binding and substitution for (nameless) dummies
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont +1
By abstracting over well-known properties of De Bruijn's representation with nameless dummies, we design a new theory of syntax with variable binding and capture-avoiding substitut…
A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on
Tom Hirschowitz, Ambroise Lafont
We introduce a category-theoreticabstraction of a syntax with auxiliary functions, called an admissiblemonad morphism. Relying on an abstract form of structural recursion,we then d…
A categorical framework for congruence of applicative bisimilarity in higher-order languages
Tom Hirschowitz, Ambroise Lafont
Applicative bisimilarity is a coinductive characterisation of observational equivalence in call-by-name lambda-calculus, introduced by Abramsky (1990). Howe (1996) gave a direct pr…
Cellular Monads from Positive GSOS Specifications
Tom Hirschowitz
We give a leisurely introduction to our abstract framework for operational semantics based on cellular monads on transition categories. Furthermore, we relate it for the first time…
Simple game semantics and Day convolution
Clovis Eberhart, Tom Hirschowitz, Alexis Laouar
Game semantics has provided adequate models for a variety of programming languages, in which types are interpreted as two-player games and programs as strategies. Melliès (2018) su…