Standardization and Confluence for a Lambda Calculus with Generalized Applications (2000)

Cached

Download Links

by Felix Joachimski , Ralph Matthes
Citations:14 - 5 self