Ян Виллем Клоп (1945 г.р.) - профессор прикладной логики в Vrije Universiteit в Амстердаме . Он имеет докторскую степень. в математической логике из Утрехтского университета . Клоп известен своей работой по алгебре коммуникационных процессов , соавтором TeReSe [2] и его комбинатором неподвижной точки [3]
Ян Виллем Клоп | |
---|---|
Родившийся | |
Супруг (а) | Марианна Лейхер |
Дети | Маартье (1976 год) [1] |
Награды | Почетный доктор Университета Восточной Англии (2002), почетный член IFIP WG 1.6 (2011) |
Научная карьера | |
Тезис | Комбинаторно-редукционные системы (1980) |
Докторант | Дирк ван Дален , Хенк Барендрегт |
Докторанты | Массимо Маркиори |
- Y k = (LLLLLLLLLLLLLLLLLLLLL LLLLL)
где
- L = λabcdefghijklmnopqstuvwxyzr. (r (это фиксированная комбинация точек))
Клоп стал членом Королевской Нидерландской академии искусств и наук в 2003 году [4].
Избранные публикации
- Ян Виллем Клоп (1980). Комбинаторные редукционные системы (PDF) (кандидатская диссертация). Утрехтский университет.
- JCM Baeten, Ян Бергстра , Ян Виллем Клоп (1987). «Системы перезаписи терминов с приоритетами». В Лескане, Пьер (ред.). Методы перезаписи и приложения , 2-е Int. Конф., РТА-87 . LNCS . 256 . Springer. С. 83–94.CS1 maint: несколько имен: список авторов ( ссылка )- предыдущий технический отчет FVI 86-03
- Ю. Тояма, Ян Виллем Клоп, Хенк Барендрегт (1989). «Прекращение действия прямой суммы леволинейных систем перезаписи термов -Предварительный набросок-». В Nachum Dershowitz (ред.). Методы перезаписи и приложения, 3-е Int. Конф., РТА-89 . LNCS. 355 . Springer. С. 477–491.CS1 maint: несколько имен: список авторов ( ссылка )- предыдущий технический отчет IEICE COMP 88-90
- Н. Дершовиц, Жан-Пьер Жуанно , Ян Виллем Клоп (1991). «Открытые проблемы перезаписи». В книге Рональда В. (ред.). Методы перезаписи и приложения, 4-е Междунар. Конф., РТА-91 (PDF) . LNCS. 488 . Springer. С. 445–456.CS1 maint: несколько имен: список авторов ( ссылка )
- Kennaway, R. и Klop, JW and Sleep, MR and de Vries, F.-J. (1991). "Трансфинитные редукции в ортогональных системах перезаписи членов (расширенная аннотация)". В книге Рональд В. (ред.). Методы перезаписи и приложения, 4-е Int. Конф., РТА-91 (PDF) . LNCS. 488 . Springer. С. 1–12.CS1 maint: несколько имен: список авторов ( ссылка )
- Дершовиц, Н. и Жуано, Ж.-П. и Klop, JW (1993). «Еще проблемы с перезаписью». В Киршнер, Клод (ред.). Методы перезаписи и приложения, 5-е Int. Конф., РТА-93 (PDF) . LNCS. 690 . Springer. С. 468–487.CS1 maint: несколько имен: список авторов ( ссылка )
- Kennaway, R. и Klop, JW and Sleep, MR and de Vries, F.-J. (1995). «Бесконечные лямбда-исчисления и модели Бема». В Сян, Цзе (ред.). 6-й Int. Конф. по методам и приложениям перезаписи (RTA) . LNCS. 914 . Springer. С. 257–270.CS1 maint: несколько имен: список авторов ( ссылка )
- Клоп, JW (1998). «Отслеживание происхождения в переписывании терминов (приглашенная лекция)». В Тобиасе Нипкове (ред.). Методы перезаписи и приложения, 9-е межд. Конф., РТА-98 . LNCS. 1379 . Springer. п. 1.
Рекомендации
- ^ Биографические данные
- ^ Марк Безем; Ян Виллем Клоп; Роэль де Фрайер, ред. (2003). Тереза - Системы перезаписи терминов . Кембриджские трактаты в теоретической информатике. 55 . Кембридж: Издательство Кембриджского университета.
- ^ Ян Виллем Клоп (2007). "Новые комбинаторы с фиксированной точкой из старых" (PDF) . В Эрике Барендсене; Герман Гёверс; Венанцио Капретта; Милад Ники (ред.). Размышления о теории типов, лямбда-исчислении и сознании - Очерки, посвященные Хенку Барендрегту по случаю его 60-летия . Университет Неймегена. С. 197–210. ISBN 978-90-9022446-6. Здесь: №1.3, стр.198
- ^ «Ян Виллем Клоп» . Королевская Нидерландская академия искусств и наук. Архивировано из оригинала 8 февраля 2016 года . Проверено 8 февраля +2016 . CS1 maint: обескураженный параметр ( ссылка )