عنوان
پدید آورنده
موضوع
رده
QA .S82 76.7 1991
QA
.
S82
76
.
7
1991
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Semantics of type theory : correctness, completeness, and independence results
First Statement of Responsibility
Thomas Streicher
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boston
Name of Publisher, Distributor, etc.
Birkhauser
Date of Publication, Distribution, etc.
1991
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 298 p. : ill. ; 25 cm
SERIES
Series Title
Progress in theoretical computer science
SUMMARY OR ABSTRACT
Text of Note
Includes bibliographical references )p. 292-295( and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Programming languages )Electronic computers( - Semantics
Entry Element
Functional programming )Computer science(
Entry Element
Type theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Classification Record Number
76
.
7
Book number
.
S82
1991
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Streicher, Thomas, 1958-
Entry Element
Title
English Book
