Linear logic in computer science
2091
Краткое содержание:
Экранизация книги

Linear logic in computer science

Год:
2004
isbn:
0-521-60857-0
Язык:
Английский
Заглавие серии:
London mathematical society lecture note series ; 316
Описание:
Linear logic in computer science / [Azores summer school on linear logic a. computer science, held Aug. 30 - Sept. 7, 2000 in St. Miguel, Azores]; ed. by Thomas Ehrhard [et al.]. - Cambridge : Cambridge univ. press, 2004. - X, 381 c. : ил. ; 23 см. - (London mathematical society lecture note series ; 316). - Библиогр. в конце докл.
Рейтинг по отзывам:
4.5
Рубрики:
Математическая логика → Съезды, совещания и т.п.
Примечания:
Библиогр. в конце докл.
Автор (ред., сост., организация):
Azores summer school on linear logic and computer science (2000 , St. Miguel)
Другие ответственные лица:
Ehrhard, Thomas → Редактор
Дата создания:
2019-09-27 07:29:38
Соц. сети:
Foundations of Programming Languages: Linear Logic [1/2] - Paul Downen - OPLSS 2018
Oregon Programming Languages Summer School Parallelism and Concurrency July 3-21, 2018 University of Oregon ...
OPLSS
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Linear logic in computer science
Книга запрещена в странах СНГ?
Да.
Нет.
Возможно.
Не знаю

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Frank Pfenning (2012) - Linear Logic Lecture 01
Frank Pfenning (2012) - Linear Logic Lecture 01. Video uploaded with youtube-upload https://github.com/tokland/youtube-upload.
Andreas Lynge
Linear Logic, Session Types and Deadlock-Freedom
Simon Gay, University of Glasgow https://simons.berkeley.edu/talks/anuj-dawar-12-08-2016 Compositionality.
Simons Institute
Proof synthesis and differential linear logic
Linear logic is a refinement of intuitionistic logic which, viewed as a functional programming language in the sense of the Curry-Howard correspondence, has an ...
Daniel Murfet
Название и адрес
Режим работы
Телефон
Библиотека №4
Брянская область, Брянск городской округ, Брянск, Бежицкий район
Металлистов переулок, 8а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (4832) 57-03-09
Показать номер
Название и адрес
Режим работы
Телефон
Городская библиотека №30, г. Домодедово
Московская область, Домодедово городской округ, Домодедово, Западный м-н
Текстильщиков, 41а
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-13:00 14:00-19:00
Ср: 10:00-13:00 14:00-19:00
Чт: 10:00-13:00 14:00-19:00
Пт: 10:00-13:00 14:00-19:00
Сб: 10:00-13:00 14:00-19:00
 +7-963-966-75-04
Показать номер
Название и адрес
Режим работы
Телефон
Государственная публичная научно-техническая библиотека России
Москва, Москва, Фили-Давыдково район
Кастанаевская, 32 к3
Расположение на карте
санитарный день: первый день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (499) 144-49-41 +7 (499) 144-49-47
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №59
Москва, Москва, Ярославский район
Ярославское шоссе, 6 к1
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 12:00-18:00
Вс: 12:00-18:00
 +7 (499) 188-26-47
Показать номер
Foundations of Programming Languages: Linear Logic [2/2] - Paul Downen - OPLSS 2018
Oregon Programming Languages Summer School Parallelism and Concurrency July 3-21, 2018 University of Oregon ...
OPLSS Lecture 12 Linear temporal logic
Computer Science Advance Courses Nicolas Blanco. Bifibrations of Polycategories and Classical Linear Logic.
Nicolas Blanco and Noam Zeilberger. Bifibrations of Polycategories and Classical Linear Logic.
MFPS 2020 Logic in Computer Science, Engineering and Industry
Yuri Gurevich, Microsoft Research https://simons.berkeley.edu/talks/yuri-gurevich-11-10-2016 {Symmetry, Logic, Computation}
Simons Institute
Егор Петров
Linear logic in computer science». М., 2008. P. 363.] В конце концов, на основе обеих карт созданы два специальных национальных курса — С. X.
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Библиотека №4
Брянская область, Брянск городской округ, Брянск, Бежицкий район
Металлистов переулок, 8а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (4832) 57-03-09
Показать номер
Название и адрес
Режим работы
Телефон
Городская библиотека №30, г. Домодедово
Московская область, Домодедово городской округ, Домодедово, Западный м-н
Текстильщиков, 41а
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-13:00 14:00-19:00
Ср: 10:00-13:00 14:00-19:00
Чт: 10:00-13:00 14:00-19:00
Пт: 10:00-13:00 14:00-19:00
Сб: 10:00-13:00 14:00-19:00
 +7-963-966-75-04
Показать номер
Название и адрес
Режим работы
Телефон
Государственная публичная научно-техническая библиотека России
Москва, Москва, Фили-Давыдково район
Кастанаевская, 32 к3
Расположение на карте
санитарный день: первый день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (499) 144-49-41 +7 (499) 144-49-47
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №59
Москва, Москва, Ярославский район
Ярославское шоссе, 6 к1
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 12:00-18:00
Вс: 12:00-18:00
 +7 (499) 188-26-47
Показать номер
Азат Нагирян
Linear logic in computer science H.V. Papenko, A.A. Titov Volgograd State Technical University
Прикрепить файл