Strong normalization of simple types through uniform intersection types.
Authors: Simona Ronchi Della Rocca and Daniele Pautasso
Paper Information
| Title: | Strong normalization of simple types through uniform intersection types. |
| Authors: | Simona Ronchi Della Rocca and Daniele Pautasso |
| Proceedings: | ITRS Full papers |
| Editor: | Michele Pagani |
| Keywords: | lambda calculus, simple types, uniform intersection types |
| Abstract: | ABSTRACT. A new proof of strong normalization for simple type assignment for λ-calculus is obtained, through a translation from this system to a system of uniform intersection types, which is equivalent to it as typability power and whose strong normalization property can be easily proved by induction on derivation. |
| Pages: | 10 |
| Talk: | Jul 08 11:30 (Session 38J) |
| Paper: |  |