Can I read On the characterization of models of H*: The semantical aspect on EtoBox?

On the characterization of models of H*: The semantical aspect by Breuvart, Flavien is a scholarly article available to read on EtoBox.

What is On the characterization of models of H*: The semantical aspect about?

We give a characterization, with respect to a large class of models of untyped lambda-calculus, of those models that are fully abstract for head-normalization, i.e., whose equational theory is H* (observations for head normalization). An extensional K-model $D$ is fully abstract if and only if it is hyperimmune, {\em i.e.}, not well founded chains of elements of D cannot be captured by any recursive function. This article, together with its companion paper, form the long version of [Bre14]. It is a standalone paper that presents a purely semantical proof of the result as opposed to its companion paper that presents an independent and purely syntactical proof of the same result.

Author

Breuvart, Flavien

Published

2016

Language

EN