خط مشی دسترسیدرباره ماپشتیبانی آنلاین
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
Document Type:BL
Record Number:105709
Doc. No:b63258
Main Entry:Hindley, J. Roger.
Title & Author:Basic simple type theory /J. Roger Hindley.
Publication Statement:Cambridge, U.K. ;New York, NY, USA :Cambridge University Press,1997.
Series Statement :Cambridge tracts in theoretical computer science ;
Page. NO:xi, 186 p. :ill. ;24 cm.
ISBN:0521465184
Bibliographies/Indexes:Includes bibliographical references (p. 169-176) and index.
Subject:Programming languages (Electronic computers)
Subject:Type theory.
Dewey Classification:‭005.13‬
LC Classification:‭QA76.7‬‭.H55 1997‬