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: |