Calculi of Generalised β-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions (1998)

View PDF

Download Links

by Fairouz Kamareddine , Alejandro Ríos , J. B. Wells
Citations:16 - 8 self