Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Jan_Willem_Klop> ?p ?o }
- Jan_Willem_Klop abstract "Jan Willem Klop 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.".
- Jan_Willem_Klop award International_Federation_for_Information_Processing.
- Jan_Willem_Klop award University_of_East_Anglia.
- Jan_Willem_Klop birthDate "1945-12-19".
- Jan_Willem_Klop birthYear "1945".
- Jan_Willem_Klop doctoralAdvisor Dirk_van_Dalen.
- Jan_Willem_Klop doctoralAdvisor Henk_Barendregt.
- Jan_Willem_Klop doctoralStudent Massimo_Marchiori.
- Jan_Willem_Klop wikiPageExternalLink 58.openproblems.pdf.
- Jan_Willem_Klop wikiPageExternalLink 9.PhDthesis-1-100.pdf.
- Jan_Willem_Klop wikiPageExternalLink 2017A.pdf.
- Jan_Willem_Klop wikiPageExternalLink MoreProblems.pdf.
- Jan_Willem_Klop wikiPageExternalLink 09e4150bb4df6bc72a000000?origin=publication_detail.
- Jan_Willem_Klop wikiPageExternalLink 590361.pdf.
- Jan_Willem_Klop wikiPageExternalLink 52.terminationLL.pdf.
- Jan_Willem_Klop wikiPageExternalLink ~jwk.
- Jan_Willem_Klop wikiPageID "30720844".
- Jan_Willem_Klop wikiPageLength "7309".
- Jan_Willem_Klop wikiPageOutDegree "28".
- Jan_Willem_Klop wikiPageRevisionID "703978586".
- Jan_Willem_Klop wikiPageWikiLink Algebra_of_Communicating_Processes.
- Jan_Willem_Klop wikiPageWikiLink Amsterdam.
- Jan_Willem_Klop wikiPageWikiLink Category:1945_births.
- Jan_Willem_Klop wikiPageWikiLink Category:Dutch_computer_scientists.
- Jan_Willem_Klop wikiPageWikiLink Category:Living_people.
- Jan_Willem_Klop wikiPageWikiLink Category:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences.
- Jan_Willem_Klop wikiPageWikiLink Category:Utrecht_University_alumni.
- Jan_Willem_Klop wikiPageWikiLink Category:VU_University_Amsterdam_faculty.
- Jan_Willem_Klop wikiPageWikiLink Dirk_van_Dalen.
- Jan_Willem_Klop wikiPageWikiLink Doctor_of_Philosophy.
- Jan_Willem_Klop wikiPageWikiLink Fixed-point_combinator.
- Jan_Willem_Klop wikiPageWikiLink Henk_Barendregt.
- Jan_Willem_Klop wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- Jan_Willem_Klop wikiPageWikiLink International_Federation_for_Information_Processing.
- Jan_Willem_Klop wikiPageWikiLink Jan_Bergstra.
- Jan_Willem_Klop wikiPageWikiLink Jean-Pierre_Jouannaud.
- Jan_Willem_Klop wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Jan_Willem_Klop wikiPageWikiLink Massimo_Marchiori.
- Jan_Willem_Klop wikiPageWikiLink Mathematical_logic.
- Jan_Willem_Klop wikiPageWikiLink Nachum_Dershowitz.
- Jan_Willem_Klop wikiPageWikiLink Ronald_V._Book.
- Jan_Willem_Klop wikiPageWikiLink Royal_Netherlands_Academy_of_Arts_and_Sciences.
- Jan_Willem_Klop wikiPageWikiLink Tobias_Nipkow.
- Jan_Willem_Klop wikiPageWikiLink University_of_East_Anglia.
- Jan_Willem_Klop wikiPageWikiLink Utrecht_University.
- Jan_Willem_Klop wikiPageWikiLink Vrije_Universiteit_Amsterdam.
- Jan_Willem_Klop wikiPageWikiLinkText "J.W. Klop".
- Jan_Willem_Klop wikiPageWikiLinkText "Jan Willem Klop".
- Jan_Willem_Klop wikiPageWikiLinkText "Klop, J.W.".
- Jan_Willem_Klop wikiPageWikiLinkText "Klop, Jan Willem".
- Jan_Willem_Klop awards "University of East Anglia honorary doctorate , IFIP WG 1.6 honorary member".
- Jan_Willem_Klop birthDate "1945-12-19".
- Jan_Willem_Klop birthPlace "Gorinchem".
- Jan_Willem_Klop children "Maartje".
- Jan_Willem_Klop dateOfBirth "1945-12-19".
- Jan_Willem_Klop doctoralAdvisor Dirk_van_Dalen.
- Jan_Willem_Klop doctoralAdvisor Henk_Barendregt.
- Jan_Willem_Klop doctoralStudents "Jörg Endrullis, Clemens Grabmayer, Jeroen Ketema, Massimo Marchiori, Aart Middeldorp, Robert Jan van Glabbeek, Vincent van Oostrom, Femke van Raamsdonk".
- Jan_Willem_Klop name "Jan Willem Klop".
- Jan_Willem_Klop name "Klop, Jan Willem".
- Jan_Willem_Klop placeOfBirth "Gorinchem".
- Jan_Willem_Klop shortDescription "Dutch computer scientist".
- Jan_Willem_Klop spouse "Marianne Leicher".
- Jan_Willem_Klop thesisTitle "Combinatory Reduction Systems".
- Jan_Willem_Klop thesisUrl 9.PhDthesis-1-100.pdf.
- Jan_Willem_Klop thesisYear "1980".
- Jan_Willem_Klop wikiPageUsesTemplate Template:Birth_date.
- Jan_Willem_Klop wikiPageUsesTemplate Template:Cite_book.
- Jan_Willem_Klop wikiPageUsesTemplate Template:Cite_thesis.
- Jan_Willem_Klop wikiPageUsesTemplate Template:Europe-mathematician-stub.
- Jan_Willem_Klop wikiPageUsesTemplate Template:Infobox_scientist.
- Jan_Willem_Klop wikiPageUsesTemplate Template:MathGenealogy.
- Jan_Willem_Klop wikiPageUsesTemplate Template:Netherlands-bio-stub.
- Jan_Willem_Klop wikiPageUsesTemplate Template:Persondata.
- Jan_Willem_Klop wikiPageUsesTemplate Template:Reflist.
- Jan_Willem_Klop description "Dutch computer scientist".
- Jan_Willem_Klop description "Dutch computer scientist".
- Jan_Willem_Klop subject Category:1945_births.
- Jan_Willem_Klop subject Category:Dutch_computer_scientists.
- Jan_Willem_Klop subject Category:Living_people.
- Jan_Willem_Klop subject Category:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences.
- Jan_Willem_Klop subject Category:Utrecht_University_alumni.
- Jan_Willem_Klop subject Category:VU_University_Amsterdam_faculty.
- Jan_Willem_Klop hypernym Professor.
- Jan_Willem_Klop type Agent.
- Jan_Willem_Klop type List.
- Jan_Willem_Klop type Person.
- Jan_Willem_Klop type Scientist.
- Jan_Willem_Klop type Person.
- Jan_Willem_Klop type List.
- Jan_Willem_Klop type Member.
- Jan_Willem_Klop type Scientist.
- Jan_Willem_Klop type Agent.
- Jan_Willem_Klop type NaturalPerson.
- Jan_Willem_Klop type Thing.
- Jan_Willem_Klop type Q215627.
- Jan_Willem_Klop type Q5.
- Jan_Willem_Klop type Q901.
- Jan_Willem_Klop type Person.
- Jan_Willem_Klop comment "Jan Willem Klop 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.".