Confluence of Extensional and Non-Extensional λ-calculi with Explicit Substitutions (0)

Cached

Download Links

by Delia Kesner
Venue:Theoretical Computer Science
Citations:12 - 2 self