Теорія мов програмування: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
м Бот: Автоматизована заміна тексту: (-== Зовнішні посилання == +== Посилання ==) |
SOMBot (обговорення | внесок) м більше не розпізнається як ізольована |
||
Рядок 87:
* [http://turing100.acm.org/lambda_calculus_timeline.pdf λ-Calculus: Then & Now] by [[Дана Скотт|Dana S. Scott]] for the ACM Turing Centenary Celebration
* [http://plgrand.blogspot.com/ Grand Challenges in Programming Languages]. Panel session at POPL 2009.
[[Категорія:Інформатика]]
| |||