Strong normalization of simple types through uniform intersection types.

Title:Strong normalization of simple types through uniform intersection types.

Authors:Simona Ronchi Della Rocca and Daniele Pautasso

Conference:ITRS 2018

Tags:lambda calculus, simple types and uniform intersection types

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.

Strong normalization of simple types through uniform intersection types.

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

1of20

1

2

3

4