Strong normalization in a typed lambda calculus with lambda structured types (0)

by A Nerode, P