Applications of infinitary lambda calculus

Henk Barendregt, Jan Willem Klop. Applications of infinitary lambda calculus. Inf. Comput., 207(5):559-582, 2009. [doi]

Abstract

Abstract is missing.