Gerd Mitschke

发表

Some remarks about the connections between Combinatory Logic and axiomatic recursion theory

Roger Hindley, Gerd Mitschke, 1977, Arch. Math. Log..

The Standardization Theorem for λ-Calculus

Gerd Mitschke, G. Mitschke, 1979, Math. Log. Q..