Applications of infinitary lambda calculus
scientific article; zbMATH DE number 5562791
scientific article