A useful lambda notation (1992)

by R P Nederpelt, F Kamareddine
Venue:Paper presented at the 1992 Logic Colloquium, Vesprem
Add To MetaCart
Results 1 - 1 of 1

Preservation of Termination for Explicit Substitution

by Carolus Johannes Bloo , 1997
"... ..."
Abstract - Cited by 38 (1 self) - Add to MetaCart
Abstract not found