3 citations · 7 across the 6 of their papers we have counts for
1 paper · 2 filters
Sergueï Lenglet, J. B. Wells
Expansion is an operation on typings (i.e., pairs of typing environments and result types) defined originally in type systems for the lambda-calculus with intersection types in ord…