عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1956
QA
76
.
L28
Vol
.
1956
کتابخانه
محل استقرار
Types for proofs and programs: International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999 : selected papers
1999: Lokeberg, Sweden
Berlin
Springer-Verlag
c2000
]iii, 195[ p.
Lecture notes in computer science; 6591
Includes bibliographies
ISBN 3540415173
Thierry Coquand...]et al.[, )Eds.(
1
Congresses ، Automatic theorem proving
Congresses ، Computer programming
Congresses ، Type theory
QA
76
.
L28
Vol
.
1956
AU
AU Coquand, Thierry, 1961-
TI
SE
TYPES
