Location of Repository

Normalization, Approximation, and Semantics for Combinator Systems

By Steffen Van Bakel and Maribel Fernández

Abstract

This paper studies normalization of typeable terms and the relation between approximation semantics and filter models for Combinator Systems. It presents notions of approximants for terms, intersection type assignment, and reduction on type derivations; the last will be proved to be strongly normalizable. With this result, it is shown that, for every typeable term, there exists an approximant with the same type, and a characterization of the normalization behaviour of terms using their assignable types is given. Then the two semantics are defined and compared, and it is shown that the approximants semantics is fully abstract but the filter semantics is not. Introduction In this paper we will focus on the relation between two approaches for semantics in the framework of Combinator Systems (CS), being the filter semantics, obtained by interpreting terms by the set of intersection types that can be assigned to them, and the approximants semantics, where terms are interpreted by the set o..

Year: 2003
OAI identifier: oai:CiteSeerX.psu:10.1.1.32.4174
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.doc.ic.ac.uk/~svb/P... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.