Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions.

Andrej Dudenhefner, Daniele Pautasso

Browse the full FSCD paper archive.