On the characterization of models of H*
Author: Flavien Breuvart
Paper Information
| Title: | On the characterization of models of H* |
| Authors: | Flavien Breuvart |
| Proceedings: | CSL-LICS 2014 Full and Final Proceedings |
| Editors: | Dale Miller and Laura Kovacs |
| Keywords: | pure lambda-calculus, denotational semantics, full abstraction, domains, filter-model |
| Abstract: | ABSTRACT. We give a characterization, with respect a large class of models of untyped lambda-calculus, of those models which 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. |
| Pages: | 10 |
| Talk: | Jul 17 15:00 |
| Paper: |  |