λ-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]

Authors

Gunter Fuchs

This author has not been identified. Look up 'Gunter Fuchs' in Google