Modularity of Strong Normalization and Confluence in the algebraic-lambda-cube (1994)

Cached

Download Links

by Franco Barbanera , Maribel Fernández , Herman Geuvers
Citations:25 - 7 self