Jump to content

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

Ян Виллем Клоп
Рожденный ( 1945-12-19 ) 19 декабря 1945 г.
Супруг Марианна Пфаррер
Дети Мартье (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.
  1. ^ Биографическая справка
  2. ^ Марк Безем; Ян Виллем Клоп; Роэль де Вриер, ред. (2003). Тереза ​​— Системы переписывания терминов . Кембриджские трактаты по теоретической информатике. Том. 55. Кембридж: Издательство Кембриджского университета.
  3. ^ Ян Виллем Клоп (2007). «Новые комбинаторы с фиксированной запятой из старых» (PDF) . Эрик Барендсен; Герман Геверс; Венанцио Капретта; Милад Ники (ред.). Размышления о теории типов, лямбда-исчислении и разуме — очерки, посвященные Хенку Барендрегту по случаю его 60-летия . Университет Неймегена. стр. 197–210. ISBN  978-90-9022446-6 . Здесь: №1.3, стр.198.
  4. ^ «Ян Виллем Клоп» . Королевская Нидерландская академия искусств и наук. Архивировано из оригинала 8 февраля 2016 года . Проверено 8 февраля 2016 г.
[ редактировать ]


Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 4d71c70a11a94cad46b60cb0ed25e9c0__1703172900
URL1:https://arc.ask3.ru/arc/aa/4d/c0/4d71c70a11a94cad46b60cb0ed25e9c0.html
Заголовок, (Title) документа по адресу, URL1:
Jan Willem Klop - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)