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

data from the linked data cloud