Jan Willem Klop (nacido en 1945) es profesor de lógica aplicada en la Vrije Universiteit de Ámsterdam . Tiene un doctorado. en lógica matemática de la Universidad de Utrecht . Klop es conocido por su trabajo en el álgebra de los procesos de comunicación , coautor de TeReSe [2] y su combinador de punto fijo [3]
Jan Willem Klop | |
---|---|
Nació | |
Esposos) | Marianne Leicher |
Niños | Maartje (1976) [1] |
Premios | Doctorado honorario de la Universidad de East Anglia (2002), miembro honorario del IFIP WG 1.6 (2011) |
Carrera científica | |
Tesis | Sistemas de reducción combinatoria (1980) |
Asesor de doctorado | Dirk van Dalen , Henk Barendregt |
Estudiantes de doctorado | Massimo Marchiori |
- Y k = (LLLLLLLLLLLLLLLLLLLLL LLLLL)
dónde
- L = λabcdefghijklmnopqstuvwxyzr. (r (esto es un combinador de punto fijo))
Klop se convirtió en miembro de la Real Academia de Artes y Ciencias de los Países Bajos en 2003. [4]
Publicaciones Seleccionadas
- Jan Willem Klop (1980). Sistemas de reducción combinatoria (PDF) (tesis doctoral). Universidad de Utrecht.
- JCM Baeten, Jan Bergstra , Jan Willem Klop (1987). "Sistemas de reescritura de plazos con prioridades". En Lescanne, Pierre (ed.). Técnicas y aplicaciones de reescritura , 2ª Int. Conf., RTA-87 . LNCS . 256 . Saltador. págs. 83–94.CS1 maint: varios nombres: lista de autores ( enlace )- informe técnico anterior FVI 86-03
- Y. Toyama, Jan Willem Klop, Henk Barendregt (1989). "Terminación por Suma Directa de Sistemas de Reescritura de Término Lineal Izquierdo -Borrador Preliminar-". En Nachum Dershowitz (ed.). Técnicas y aplicaciones de reescritura, 3rd Int. Conf., RTA-89 . LNCS. 355 . Saltador. págs. 477–491.CS1 maint: varios nombres: lista de autores ( enlace )- informe técnico anterior IEICE COMP 88-90
- N. Dershowitz, Jean-Pierre Jouannaud , Jan Willem Klop (1991). "Problemas abiertos en la reescritura". En Ronald V. Book (ed.). Técnicas y aplicaciones de reescritura, 4ª Int. Conf., RTA-91 (PDF) . LNCS. 488 . Saltador. págs. 445–456.CS1 maint: varios nombres: lista de autores ( enlace )
- Kennaway, R. y Klop, JW y Sleep, MR y de Vries, F.-J. (1991). "Reducciones transfinitas en sistemas de reescritura de términos ortogonales (resumen extendido)". En Libro, Ronald V. (ed.). Técnicas y aplicaciones de reescritura, 4ª Int. Conf., RTA-91 (PDF) . LNCS. 488 . Saltador. págs. 1-12.CS1 maint: varios nombres: lista de autores ( enlace )
- Dershowitz, N. y Jouannaud, J.-P. y Klop, JW (1993). "Más problemas en la reescritura". En Kirchner, Claude (ed.). Técnicas y aplicaciones de reescritura, 5th Int. Conf., RTA-93 (PDF) . LNCS. 690 . Saltador. págs. 468–487.CS1 maint: varios nombres: lista de autores ( enlace )
- Kennaway, R. y Klop, JW y Sleep, MR y de Vries, F.-J. (1995). "Cálculos Infinitarios Lambda y Modelos Böhm". En Hsiang, Jieh (ed.). 6ta Int. Conf. sobre técnicas y aplicaciones de reescritura (RTA) . LNCS. 914 . Saltador. págs. 257-270.CS1 maint: varios nombres: lista de autores ( enlace )
- Klop, JW (1998). "Seguimiento del origen en la reescritura de términos (conferencia invitada)". En Tobias Nipkow (ed.). Técnicas y aplicaciones de reescritura, 9º Int. Conf., RTA-98 . LNCS. 1379 . Saltador. pag. 1.
Referencias
- ^ Currículum vitae
- ^ Marc Bezem; Jan Willem Klop; Roel de Vrijer, eds. (2003). Terese - Sistemas de reescritura de términos . Cambridge Tracts en Informática Teórica. 55 . Cambridge: Cambridge University Press.
- ^ Jan Willem Klop (2007). "Nuevos combinadores de punto fijo de los antiguos" (PDF) . En Erik Barendsen; Herman Geuvers; Venanzio Capretta; Milad Niqui (eds.). Reflexiones sobre la teoría de tipos, el cálculo lambda y la mente - Ensayos dedicados a Henk Barendregt con motivo de su 60 cumpleaños] . Universidad de Nijmegen. págs. 197–210. ISBN 978-90-9022446-6. Aquí: nr.1.3, p.198
- ^ "Jan Willem Klop" . Real Academia de las Artes y las Ciencias de los Países Bajos. Archivado desde el original el 8 de febrero de 2016 . Consultado el 8 de febrero de 2016 .