On the Subject Reduction Property for Algebraic Type Systems

Abstract

Algebraic type systems provide a general framework for the study of the interaction between typed-calculi and typed rewriting systems. A major problem in the development of a general theory for algebraic type systems is to prove that typing is preserved under reduction (Subject Reduction lemma). In this paper, we propose a general technique to prove Subject… (More)
DOI: 10.1007/3-540-63172-0_31

Topics

Cite this paper

@inproceedings{Barthe1996OnTS, title={On the Subject Reduction Property for Algebraic Type Systems}, author={Gilles Barthe and Paul-Andr{\'e} Melli{\`e}s}, booktitle={CSL}, year={1996} }