lambda-calculi with explicit substitutions and composition which preserve beta -strong normalization (Extended Abstract) (1996)

Cached

Download Links

by Maria C.F. Ferreira , Delia Kesner , Laurence Puel
Citations:27 - 3 self