Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus (1996)

Cached

Download Links

by César Muñoz , Inria Rocquencourt
Citations:20 - 4 self