Описание: [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm.

Summary goes here

Сохранить в:

Библиографические подробности
Формат:	‌
Язык:	английский французский
Предметы:	Combinatory logic Programming languages (Electronic computers) Langages de programmation Logique combinatoire Datenverarbeitung Kombinatorische Logik Lambda-Kalkül Logik Metamathematik Programmiersprache Kongress Lambda-calculus. Kongress. Kongreß Lambda-Calculus. Conference papers and proceedings
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!