John Staples (staples-j)

Beiträge zu Philosophie.ch

Bibliography

Staples, John. 1975. “Church-Rosser Theorems for Replacement Systems.” in Algebra and Logic, edited by John Newsome Crossley, pp. 291–307. Lecture Notes in Mathematics n. 450. Berlin: Springer.