Jan Willem Klop - Jan Willem Klop
Jan Willem Klop | |
---|---|
narozený | |
Manžel (y) | Marianne Leicher |
Děti | Maartje (1976)[1] |
Ocenění | University of East Anglia čestný doktorát (2002), IFIP WG 1.6 čestný člen (2011) |
Vědecká kariéra | |
Teze | Kombinované redukční systémy (1980) |
Doktorský poradce | Dirk van Dalen, Henk Barendregt |
Doktorandi | Massimo Marchiori |
Jan Willem Klop (nar. 1945) je profesorem aplikovaného studia logika na Vrije Universiteit v Amsterdam. Je držitelem a Ph.D. v matematická logika z Utrechtská univerzita. Klop je známý svou prací na Algebra komunikačních procesů, spoluautor TeReSe[2] a jeho kombinátor pevných bodů[3]
- 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 L)
kde
- 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 se stal členem Nizozemská královská akademie umění a věd v roce 2003.[4]
Vybrané publikace
- Jan Willem Klop (1980). Kombinované redukční systémy (PDF) (Disertační práce). Utrechtská univerzita.
- J.C.M. Baeten, Jan Bergstra Jan Willem Klop (1987). "Systémy přepisování termínů s prioritami". V Lescanne, Pierre (ed.). Přepisovací techniky a aplikace, 2. int. Konf., RTA-87. LNCS. 256. Springer. 83–94.CS1 maint: více jmen: seznam autorů (odkaz) - předchozí technická zpráva FVI 86-03
- Y. Toyama, Jan Willem Klop, Henk Barendregt (1989). „Ukončení pro přímý součet levotočivých systémů přepisování termínů - předběžný návrh -“. v Nachum Dershowitz (vyd.). Techniky a aplikace přepisování, 3. int. Konf., RTA-89. LNCS. 355. Springer. 477–491.CS1 maint: více jmen: seznam autorů (odkaz) - předchozí technická zpráva IEICE COMP 88-90
- N. Dershowitz, Jean-Pierre Jouannaud Jan Willem Klop (1991). Msgstr "Otevřít problémy s přepisováním". v Kniha Ronald V. (vyd.). Techniky a aplikace přepisování, 4. int. Konf., RTA-91 (PDF). LNCS. 488. Springer. str. 445–456.CS1 maint: více jmen: seznam autorů (odkaz)
- Kennaway, R. a Klop, J.W. and Sleep, M.R. a de Vries, F.-J. (1991). "Transfinitní redukce v systémech přepisování ortogonálních termínů (rozšířený abstrakt)". V knize Ronald V. (ed.). Techniky a aplikace přepisování, 4. int. Konf., RTA-91 (PDF). LNCS. 488. Springer. s. 1–12.CS1 maint: více jmen: seznam autorů (odkaz)
- Dershowitz, N. a Jouannaud, J.-P. a Klop, J.W. (1993). Msgstr "Další problémy s přepisováním". V Kirchner, Claude (ed.). Techniky a aplikace přepisování, 5. Int. Konf., RTA-93 (PDF). LNCS. 690. Springer. str. 468–487.CS1 maint: více jmen: seznam autorů (odkaz)
- Kennaway, R. a Klop, J.W. and Sleep, M.R. a de Vries, F.-J. (1995). "Infinitary Lambda Calculi a Böhmovy modely". V Hsiang, Jieh (ed.). 6. Int. Konf. o technikách a aplikacích přepisování (RTA). LNCS. 914. Springer. 257–270.CS1 maint: více jmen: seznam autorů (odkaz)
- Klop, J.W. (1998). "Sledování původu při přepisování termínů (pozvaná přednáška)". v Tobias Nipkow (vyd.). Techniky a aplikace přepisování, 9. Int. Konf., RTA-98. LNCS. 1379. Springer. str. 1.
Reference
- ^ Životopis
- ^ Marc Bezem; Jan Willem Klop; Roel de Vrijer, vyd. (2003). Terese - systémy přepisování termínů. Cambridge Tracts v teoretické informatice. 55. Cambridge: Cambridge University Press.
- ^ Jan Willem Klop (2007). „Nové kombinátory pevných bodů ze starých“ (PDF). V Erik Barendsen; Herman Geuvers; Venanzio Capretta; Milad Niqui (eds.). Úvahy o teorii typu, lambda kalkulu a mysli - eseje věnované Henkovi Barendregtovi u příležitosti jeho 60. narozenin]. University Nijmegen. 197–210. ISBN 978-90-9022446-6. Zde: č. 1.3, s. 1998
- ^ „Jan Willem Klop“. Nizozemská královská akademie umění a věd. Archivovány od originál dne 8. února 2016. Citováno 8. února 2016.
externí odkazy
![]() ![]() | Tento článek o osobě z Holandsko je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
![]() | Tento článek o Evropanovi matematik je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |