A notation for lambda terms II: Renements and applications (1994)

by Gopalan Nadathur