Jan Willem Klop (klop)

Contributions to Philosophie.ch

Bibliography

Barendregt, Henk P., Endrullis, Jörg, Klop, Jan Willem and Waldmann, Johannes. 2017. “Dance of the Starlings.” in Raymond Smullyan on Self Reference, edited by Melvin Chris Fitting and Brian Rayman, pp. 67–112. Outstanding Contributions to Logic n. 14. Cham: Springer.
Bergstra, Jan A. and Klop, Jan Willem. 1989. “Process Theory Based on Bisimulation Semantics.” in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J. W. de Bakker, W. P. de Roever, and Grzegorz Rozenberg, pp. 50–122. Lecture Notes in Computer Science n. 354. Berlin: Springer.
Klop, Jan Willem. 1980. “Reduction Cycles in Combinatory Logic.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 193–214. New York: Academic Press.
Klop, Jan Willem. 1992. “Term Rewriting Systems.” in Handbook of Logic in Computer Science. Volume 2. Background: Computational Structures, edited by Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, pp. 2–117. Oxford: Oxford University Press.
Klop, Jan Willem and Vrijer, Roel C. de. 1987. “Unique Normal Forms for Lambda Calculus with Subjective Pairing.” lp–87–03. Amsterdam: Institute for Language, Logic; Information, University of Amsterdam.