Ламбда - исчисление. Его синтаксис и сематика: научное издание/

Похожие документы

• Ламбда-исчисление Его синтаксис и семантика
  по: Барендрегт, Хендрик Питер
  Публикация: (1985)
• Теория и практика структурного программирования: научное издание/
  по: Лингер, Р. Ричард, et al.
  Публикация: (1982)
• Аппроксимации Паде: научное издание/
  по: Бейкер, Дж, et al.
  Публикация: (1986)
• Использование ламбда-исчисления при моделировании и синтезе структур специализированных программных систем САПР Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.16, 05.13.12
  по: Новиков, Денис Викторович
  Публикация: (1994)
• Нестационарные процессы математического программирования: научное издание/
  по: Ерёмин, И. И. Иван Иванович, et al.
  Публикация: (1979)