Ян Виллем Клоп (родился в 1945 году) — профессор прикладной логики в Vrije Universiteit в Амстердаме . Имеет докторскую степень по математической логике в Утрехтском университете . Клоп известен своими работами по алгебре коммуникабельных процессов , соавтором TeReSe [2] и его комбинатора с фиксированной точкой [3]
- Y k = (ЛЛЛЛЛЛЛЛЛЛЛЛЛЛЛЛЛЛЛЛЛЛ)
где
- L = λabcdefghijklmnopqstuvwxyzr. (r (это тора с фиксированной точкой))
В 2003 году Клоп стал членом Королевской Нидерландской академии искусств и наук. [4]
Избранные публикации
- Ян Виллем Клоп (1980). Комбинированные системы редукции (PDF) (кандидатская диссертация). Утрехтский университет.
- JCM Baeten, Jan Bergstra , Jan Willem Klop (1987). «Системы переписывания терминов с приоритетами». В Lescanne, Pierre (ред.). Методы переписывания и приложения , 2nd Int. Conf., RTA-87 . LNCS . Том 256. Springer. стр. 83–94.
{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка )— предыдущий технический отчет ФВИ 86-03 - Y. Toyama, Jan Willem Klop, Henk Barendregt (1989). "Окончание прямой суммы систем переписывания левых линейных терминов -Предварительный проект-". В Nachum Dershowitz (ред.). Rewriting Techniques and Applications, 3rd Int. Conf., RTA-89 . LNCS. Vol. 355. Springer. pp. 477–491.
{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка )— предыдущий технический отчет IEICE COMP 88-90 - N. Dershowitz, Jean-Pierre Jouannaud , Jan Willem Klop (1991). «Открытые проблемы переписывания». В книге Ronald V. (ред.). Методы переписывания и их применение, 4-я международная конференция, RTA-91 (PDF) . LNCS. Том 488. Springer. стр. 445–456.
{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка ) - Кеннауэй, Р. и Клоп, Дж. В. и Слип, М. Р. и де Врис, Ф.-Дж. (1991). «Трансфинитные сокращения в системах ортогональной перезаписи терминов (расширенная аннотация)». В книге, Рональд В. (ред.). Методы переписывания и их применение, 4-я международная конференция, RTA-91 (PDF) . LNCS. Том 488. Springer. стр. 1–12.
{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка ) - Dershowitz, N. и Jouannaud, J.-P. и Klop, JW (1993). «Больше проблем при переписывании». В Kirchner, Claude (ред.). Rewriting Techniques and Applications, 5th Int. Conf., RTA-93 (PDF) . LNCS. Vol. 690. Springer. стр. 468–487.
{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка ) - Кеннауэй, Р. и Клоп, Дж. В. и Слип, М. Р. и де Врис, Ф.-Дж. (1995). «Бесконечные лямбда-исчисления и модели Бёма». В Hsiang, Jieh (ред.). 6-я международная конференция по методам переписывания и приложениям (RTA). LNCS. Том 914. Springer. стр. 257–270.
{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка ) - Клоп, Дж. В. (1998). «Отслеживание происхождения при переписывании терминов (приглашенная лекция)». В Тобиасе Нипкове (ред.). Методы и применение переписывания, 9-я международная конференция, RTA-98 . LNCS. Том 1379. Springer. стр. 1.
Ссылки
- ^ Резюме
- ^ Марк Безем; Ян Виллем Клоп; Роэль де Вриер, ред. (2003). Тереза — Системы переписывания терминов. Кембриджские трактаты по теоретической информатике. Том. 55. Кембридж: Издательство Кембриджского университета.
- ^ Ян Виллем Клоп (2007). «Новые комбинаторы неподвижных точек из старых» (PDF) . В Эрик Барендсен; Герман Гейверс; Венанцио Капретта; Милад Ники (ред.). Размышления о теории типов, лямбда-исчислении и разуме — эссе, посвященные Хенку Барендрегту по случаю его 60-летия]. Университет Неймегена. С. 197–210. ISBN 978-90-9022446-6.Здесь: №1.3, стр.198
- ^ "Ян Виллем Клоп". Королевская Нидерландская академия искусств и наук. Архивировано из оригинала 8 февраля 2016 года . Получено 8 февраля 2016 года .
Внешние ссылки
