Education
He holds a Doctor of Philosophy in mathematical logic from Utrecht University. Combinatory Reduction Systems (Postdoctoral fellows) (Doctor of Philosophy thesis).
He holds a Doctor of Philosophy in mathematical logic from Utrecht University. Combinatory Reduction Systems (Postdoctoral fellows) (Doctor of Philosophy thesis).
Klop is known for his work on the Algebra of Communicating Processes, co-author of TeReSe and his fixed point combinator Yk = (L L L L L L L L L L L L L L L L L L L L L L L L L L) where L = λabcdefghijklmnopqstuvwxyzr. (r (t h i s i s a f i x e d p o i n t c o m b i n a t o r)) Y. North. 1.