λ-structures and s-structures: Translating the iteration strategies

Gunter Fuchs. λ-structures and s-structures: Translating the iteration strategies. Annals of Pure and Applied Logic, 162(9):710-751, 2011. [doi]

Abstract

Abstract is missing.