Sequential Systems of λ-Conversion and of Combinatory Logic

	ИСТИНА	Войти в систему Регистрация
	Интеллектуальная Система Тематического Исследования НАукометрических данных
	Главная Поиск Статистика О проекте Помощь

Sequential Systems of λ-Conversion and of Combinatory Logicстатья

Дата последнего поиска статьи во внешних источниках: 23 января 2020 г.

Автор: Kuzichev Alexander S.
Сборник: Seldin J.P., Hindley J.R. (eds). To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism
Год издания: 1980
Место издания: Academic Press
Первая страница: 141
Последняя страница: 155
Добавил в систему: Кузичев Александр Сергеевич