Properties of infinite reduction paths in untyped *-calculus (1996)

by M H Sorensen
Venue:In Tbilisi Symposium on Language, Logic, and Computation, CLSI Lecture Notes