# On the characterization of models of H* : The operational aspect

@article{Breuvart2018OnTC, title={On the characterization of models of H* : The operational aspect}, author={Flavien Breuvart}, journal={ArXiv}, year={2018}, volume={abs/1801.05150} }

- Published in ArXiv 2018

We give a characterization, with respect to a large class of models of untyped λcalculus, of those models that are fully abstract for head-normalization, i.e., whose equational theory is H. An extensional K-model D is fully abstract if and only if it is hyperimmune, i.e., non-well founded chains of elements of D cannot be captured by any recursive function. This article, together with its companion paper [5] form the long version of [6]. It is a standalone paper that present a purely… CONTINUE READING

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 28 REFERENCES

## A General Class of Models of H*

VIEW 18 EXCERPTS

HIGHLY INFLUENTIAL

## A Linear Metalanguage for Concurrency

VIEW 14 EXCERPTS

HIGHLY INFLUENTIAL

## The lambda calculus - its syntax and semantics

VIEW 4 EXCERPTS

HIGHLY INFLUENTIAL

## The Scott model of linear logic is the extensional collapse of its relational model

VIEW 16 EXCERPTS

HIGHLY INFLUENTIAL

## From computation to foundations via functions and application: The -calculus and its webbed models

VIEW 16 EXCERPTS

HIGHLY INFLUENTIAL

## Linear Domains and Linear Maps

VIEW 14 EXCERPTS

HIGHLY INFLUENTIAL

## The Relation Between Computational and Denotational Properties for Scott's Dinfty-Models of the Lambda-Calculus

VIEW 7 EXCERPTS

HIGHLY INFLUENTIAL

## On the characterization of models of H

VIEW 2 EXCERPTS