Reducibility: a ubiquitous method in lambda calculus with intersection types (2002)

Cached

Download Links

by Silvia Ghilezan , Silvia Likavec
Citations:3 - 1 self