Иоахим Ламбек

• Биография Йоахима Ламбека

  • Канадский математик, родился в Германии, в 1938 году стал беженцем, интернирован и депортирован в Канаду. 
  • Получил образование в университете Макгилла, защитил докторскую диссертацию в 1950 году. 
  • Работал ассистентом профессора, стал профессором в 1963 году, занимался исследованиями в области теории категорий. 
  • Вышел на пенсию в 1992 году, продолжил работу в университете Макгилла. 

• Научная работа

  • Исследовал векторные поля и погружение полугрупп в группу, опубликовал важные результаты в теории модулей. 
  • Известен за «исчисление Ламбека» и работы по предгруппам и формальным языкам. 
  • Внес вклад в компьютерную лингвистику и разработку связей между типизированным лямбда-исчислением и декартовыми замкнутыми категориями. 

• Избранные работы

  • Опубликовал книги и статьи, включая теорему Ламбека и теорему Ламбека-Мозера. 
  • В последние годы занимался предгрупповой грамматикой. 

• Публикации

  • Имеет более 100 публикаций, включая 6 книг.