Confluence of Untyped Lambda Calculus Via Simple Types

Cached

Download Links

by Silvia Ghilezan , Viktor Kuncak
Citations:6 - 0 self