Robert Pieter Nederpelt Lazarom

1942

• Strong normalization in a typed lambda calculus with lambda structured types