خط مشی دسترسیدرباره ماپشتیبانی آنلاین
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
Document Type:BL
Record Number:105525
Doc. No:b63073
Main Entry:Girard, Jean-Yves.
Title & Author:Proofs and types /Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont.
Publication Statement:Cambridge [England] ;New York :Cambridge University Press,1989.
Series Statement :Cambridge tracts in theoretical computer science ;
Page. NO:xi, 176 p. :ill. ;26 cm.
ISBN:0521371813
Bibliographies/Indexes:Includes bibliographical references and index.
Subject:Lambda calculus.
Dewey Classification:‭511.3‬
LC Classification:‭QA9.5‬‭.G57 1989‬