Klop, J. W.
Enlarge text Shrink text-
Personality
|
מספר מערכת
987007426404505171
Information for Authority record
Name (Latin)
Klop, J. W.
Other forms of name
Klop, Jan Willem
Date of birth
1945-12-19
Gender
male
MARC
MARC
Other Identifiers
Sources of Information
- Author's Combinatory reduction systems, 1980:
- CONCUR '90, c1990:
- Term rewriting systems, 2002:
1 / 1
File:NewtonDetail.jpg
Wikipedia description:
Jan Willem Klop (born 1945) is a professor of applied logic at Vrije Universiteit in Amsterdam. He holds a Ph.D. in mathematical logic from Utrecht University. 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)) Klop became a member of the Royal Netherlands Academy of Arts and Sciences in 2003.
Read more on Wikipedia >