WikiDer > Ян Виллем Клоп

Jan Willem Klop
Ян Виллем Клоп
Родившийся(1945-12-19)19 декабря 1945 г.
Gorinchem
Супруг (а)Марианна Лейхер
ДетиМаартье (1976)[1]
НаградыУниверситет Восточной Англии почетный доктор (2002 г.), IFIP WG 1.6 почетный член (2011)
Научная карьера
ТезисКомбинированные редукционные системы (1980)
ДокторантДирк ван Дален, Хенк Барендрегт
ДокторантыМассимо Марчиори

Ян Виллем Клоп (1945 г.р.) - профессор прикладной логика в Vrije Universiteit в Амстердам. Он держит Кандидат наук. в математическая логика из Утрехтский университет. Клоп известен своей работой над Алгебра коммуникационных процессов, соавтор TeReSe[2] и его комбинатор с фиксированной точкой[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)

куда

L = λabcdefghijklmnopqstuvwxyzr. (г (т х и с и с а ф икс е д п о я н т к о м б и н а т о р))

Клоп стал членом Королевская Нидерландская академия искусств и наук в 2003 г.[4]

Избранные публикации

  • Ян Виллем Клоп (1980). Комбинированные редукционные системы (PDF) (Кандидатская диссертация). Утрехтский университет.
  • J.C.M. Баэтен, Ян Бергстра, Ян Виллем Клоп (1987). «Системы перезаписи терминов с приоритетами». В Лескане, Пьер (ред.). Методы и приложения перезаписи, 2-й межд. Конф., РТА-87. LNCS. 256. Springer. С. 83–94.CS1 maint: несколько имен: список авторов (связь) - предыдущий технический отчет FVI 86-03
  • Ю. Тояма, Ян Виллем Клоп, Хенк Барендрегт (1989). «Прекращение действия прямой суммы леволинейных систем перезаписи термов - Предварительный проект -». В Нахум Дершовиц (ред.). Методы перезаписи и приложения, 3-е Int. Конф., РТА-89. LNCS. 355. Springer. С. 477–491.CS1 maint: несколько имен: список авторов (связь) - предыдущий технический отчет IEICE COMP 88-90
  • Н. Дершовиц, Жан-Пьер Жуанно, Ян Виллем Клоп (1991). «Открытые проблемы перезаписи». В Рональд В. Книга (ред.). Методы перезаписи и приложения, 4th Int. Конф., РТА-91 (PDF). LNCS. 488. Springer. С. 445–456.CS1 maint: несколько имен: список авторов (связь)
  • Kennaway, R. и Klop, J.W. and Sleep, M.R. and de Vries, F.-J. (1991). "Трансфинитные редукции в ортогональных системах перезаписи членов (расширенная аннотация)". В книге Рональд В. (ред.). Методы перезаписи и приложения, 4th Int. Конф., РТА-91 (PDF). LNCS. 488. Springer. С. 1–12.CS1 maint: несколько имен: список авторов (связь)
  • Дершовиц, Н. и Жуано, Ж.-П. и Клоп, Дж. (1993). «Больше проблем при перезаписи». В Киршнер, Клод (ред.). Методы перезаписи и приложения, 5-е Int. Конф., РТА-93 (PDF). LNCS. 690. Springer. С. 468–487.CS1 maint: несколько имен: список авторов (связь)
  • Kennaway, R. и Klop, J.W. and Sleep, M.R. and de Vries, F.-J. (1995). "Бесконечные лямбда-исчисления и модели Бема". В Сян, Цзе (ред.). 6-й Int. Конф. по методам и приложениям перезаписи (RTA). LNCS. 914. Springer. С. 257–270.CS1 maint: несколько имен: список авторов (связь)
  • Клоп, Дж. (1998). «Отслеживание происхождения в переписывании терминов (приглашенная лекция)». В Тобиас Нипков (ред.). Методы перезаписи и приложения, 9-е Int. Конф., РТА-98. LNCS. 1379. Springer. п. 1.

Рекомендации

  1. ^ Биография Резюме
  2. ^ Марк Безем; Ян Виллем Клоп; Роэль де Фрайер, ред. (2003). Terese - Системы перезаписи терминов. Кембриджские трактаты в теоретической информатике. 55. Кембридж: Издательство Кембриджского университета.
  3. ^ Ян Виллем Клоп (2007). "Новые комбинаторы с фиксированной точкой из старых" (PDF). В Эрике Барендсене; Герман Гёверс; Венанцио Капретта; Милад Ники (ред.). Размышления о теории типов, лямбда-исчислении и разуме - эссе, посвященные Хенку Барендрегту по случаю его 60-летия]. Университет Неймегена. С. 197–210. ISBN 978-90-9022446-6. Здесь: №1.3, стр.198
  4. ^ "Ян Виллем Клоп". Королевская Нидерландская академия искусств и наук. Архивировано из оригинал 8 февраля 2016 г.. Получено 8 февраля 2016.

внешняя ссылка