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