Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Selinger P. — Lecture Notes on the Lambda Calculus
Selinger P. — Lecture Notes on the Lambda Calculus



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Lecture Notes on the Lambda Calculus

Автор: Selinger P.

Аннотация:

This is a set of lecture notes for the course “Mathematical Foundations of Computation”, which I taught at the University of Ottawa in Fall 2001. Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, type inference, denotational semantics, complete partial orders, and the language PCF.


Язык: en

Рубрика: Computer science/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 2001

Количество страниц: 90

Добавлена в каталог: 28.10.2012

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте