Томас Штрайхер

От / / Оставьте комментарий

Оглавление1 Томас Штрайхер1.1 Биография и научная деятельность Томаса Штрайхера1.2 Научные интересы и достижения1.3 Библиография1.4 Дополнительные сведения1.5 Полный текст статьи:2 Томас […]

1958 births, 1958 рождений, 20th-century German mathematicians, 21st-century German mathematicians, Academic staff of Technische Universität Darmstadt, German mathematician stubs, Living people, University of Passau alumni, Академический состав Технического университета Дармштадта, Выпускники Университета Пассау, Живые люди, Незавершенные статьи о немецких математиках, Немецкие математики XX века, Немецкие математики XXI века

Томас Штрайхер

  • Биография и научная деятельность Томаса Штрайхера

    • Родился в 1958 году, австрийский математик, профессор в Дармштадте. 
    • Защитил докторскую диссертацию в 1988 году под руководством Манфреда Броя. 

  • Научные интересы и достижения

    • Занимается категориальной логикой, теорией предметных областей и теорией типов Мартина-Лефа. 
    • Совместно с Мартином Хофманом разработал модель для интенсиональной теории типов с нетривиальными типами идентичности. 
    • Получил премию LICS Test-of-Time Award за работу о моделях с нетривиальными типами идентичности. 

  • Библиография

    • Опубликовал работы по семантике теории типов и теоретико-предметным основам функционального программирования. 

  • Дополнительные сведения

    • Имеет официальный сайт и является участником проекта “Математическая генеалогия”. 
    • Статья о Томасе Штрайхере является заглушкой и приглашает к расширению Википедии. 

Полный текст статьи:

Томас Штрайхер

Похожие статьи:

  1. Система типов Оглавление1 Система типов1.1 Системы типов в программировании1.2 Цели систем типов1.3 Пример системы типов: язык Си1.4 Теория...
  2. Система типов Оглавление1 Type system1.1 Типы систем в программировании1.2 Примеры использования1.3 Типы и их значение1.4 Преимущества и недостатки1.5...
  3. Формирование идентичности – Arc.Ask3.Ru Оглавление1 Формирование идентичности1.1 Формирование идентичности1.2 Факторы формирования идентичности1.3 Уровни формирования идентичности1.4 Теории формирования идентичности1.5 Самооценка и...
  4. Хелен Томас Оглавление1 Хелен Томас1.1 Ранние годы и образование1.2 Начало карьеры1.3 Работа в Белом доме1.4 Президентский корреспондент1.5 Отъезд...
  5. Язык программирования – Arc.Ask3.Ru Оглавление1 Язык программирования1.1 Определение языков программирования1.2 Реализация языков программирования1.3 История языков программирования1.4 1960-е и 1970-е годы1.5...
  6. Язык визуального программирования Оглавление1 Язык визуального программирования1.1 Обзор визуальных языков программирования1.2 Примеры визуальных языков1.3 Языки для обучения и разработки1.4...
  7. Теоретико-информационная безопасность Оглавление1 Теоретико-информационная безопасность1.1 Теоретико-информационная безопасность криптосистем1.2 Применение теоретико-информационной безопасности1.3 Технические ограничения и шифрование на физическом уровне1.4...
  8. Теория типов Оглавление1 Теория типов1.1 Основы теории типов1.2 История и развитие1.3 Основные понятия1.4 Применение и интерпретация1.5 Связь с...
  9. Медаль Бейкера Королевского общества Оглавление1 Медаль Бейкера Королевского общества1.1 История медали Бейкера1.2 Лауреаты премии1.3 Основные научные достижения 1911 года1.4 Основные...
  10. Тип удостоверения Оглавление1 Тип удостоверения личности1.1 Основы теории типов1.2 Сравнение с субъективным равенством1.3 Применение типа идентичности1.4 Версии типа...
  11. Английская литература – Arc.Ask3.Ru Оглавление1 Английская литература1.1 История английской литературы1.2 Среднеанглийская литература1.3 Древнеанглийская литература1.4 Среднеанглийская литература (1066-1500)1.5 Сэр Гавейн и...
  12. В.И. Томас Оглавление1 У. И. Томас1.1 Биография и образование1.2 Профессиональная карьера1.3 Скандал и последующая деятельность1.4 Теория и исследования1.5...
  13. Подростковый возраст Оглавление1 Юность1.1 Подростковый возраст1.2 Половое созревание1.3 Физиологические изменения1.4 Волосы на лице у мужчин1.5 Основные вехи полового...
  14. Американцы немецкого происхождения – Arc.Ask3.Ru Оглавление1 Американцы немецкого происхождения1.1 Американцы немецкого происхождения1.2 История иммиграции1.3 Немецкий пояс1.4 Культурное влияние1.5 Немецко-американские общества и...
  15. Теоретико-модельная грамматика Оглавление1 Теоретико-модельная грамматика1.1 Основы теоретико-модельного синтаксиса1.2 История теоретико-модельного синтаксиса1.3 Примеры теоретико-модельных грамматик1.4 Преимущества теоретико-модельного синтаксиса1.5 Рекомендации1.6...
  16. Список образовательных языков программирования Оглавление1 Список образовательных языков программирования1.1 Обзор языков программирования для детей1.2 Примеры языков программирования для детей1.3 Образовательные...
  17. Норман Томас Оглавление1 Норман Томас1.1 Ранние годы и образование1.2 Духовная карьера1.3 Политическая деятельность1.4 Предвыборные кампании1.5 Политические разногласия1.6 Причины1.7...
  18. Д. А. Томас Оглавление1 Окружной прокурор Томас1.1 Ранние годы и образование1.2 Личная жизнь и религия1.3 Карьера и деловые интересы1.4...
  19. Система типов Оглавление1 Система типов1.1 Основы типов данных1.2 Системы типов и их классификация1.3 Безопасность типов и памяти1.4 Дополнительные...
  20. История теории типов Оглавление1 История теории типов1.1 История теории типов1.2 Развитие теории типов1.3 Рекомендации2 История теории типов — Википедия...
  21. Идентичность (социальные науки) Оглавление1 Идентичность (социальные науки)1.1 Определение и значение идентичности1.2 Формирование и развитие идентичности1.3 Роль идентичности в жизни...
  22. Теоретико-доказательная семантика Оглавление1 Теоретико-доказательная семантика1.1 Основы теоретико-доказательной семантики1.2 Развитие и применение1.3 Логическая гармония и непоследовательность1.4 Дополнительные ресурсы1.5 Полный...

Оставьте комментарий

Прокрутить вверх