Abstract | ||
---|---|---|
Abstract: Algebraic type systems provide a general framework for the study of the interaction betweentyped -calculi and typed rewriting systems. A major problem in the development of a generaltheory for algebraic type systems is to prove that typing is preserved under reduction (SubjectReduction lemma). In this paper, we propose a general technique to prove Subject Reductionfor a large class of algebraic type systems. The idea is to consider for every (functional) algebraictype system a labelled... |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/3-540-63172-0_31 | CSL |
Keywords | Field | DocType |
subject reduction property,algebraic type systems,type system | Discrete mathematics,Dimension of an algebraic variety,Algebraic number,Simply typed lambda calculus,Typed lambda calculus,Subject reduction,Algebraic logic,Algebraic cycle,Generalized algebraic data type,Mathematics | Conference |
Volume | ISSN | ISBN |
1258 | 0302-9743 | 3-540-63172-0 |
Citations | PageRank | References |
5 | 0.71 | 14 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gilles Barthe | 1 | 2337 | 152.36 |
Paul-andré Melliès | 2 | 392 | 30.70 |