Jan Willem Klop
http://dbpedia.org/resource/Jan_Willem_Klop an entity of type: Thing
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.
rdf:langString
rdf:langString
Jan Willem Klop
rdf:langString
Jan Willem Klop
rdf:langString
Jan Willem Klop
xsd:date
1945-12-19
xsd:integer
30720844
xsd:integer
994790422
rdf:langString
Combinatory Reduction Systems
xsd:integer
1980
rdf:langString
University of East Anglia honorary doctorate , IFIP WG 1.6 honorary member
xsd:date
1945-12-19
rdf:langString
Maartje
rdf:langString
Marianne Leicher
rdf:langString
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.
xsd:nonNegativeInteger
6930