عنوان
پدید آورنده
موضوع
رده
QA 76.7 .D48
QA
76
.
7
.
D48
کتابخانه
محل استقرار
Isomorphisms of types : from ]lambda[-calculus to information retrieval and language design
Boston
Birkhauser
c1995
viii, 235 p.: ill., tables
Progress in theoretical computer science
Bibliography: p. ]215[-226
ISBN: 081763763X
Roberto Di Cosmo
1
، Programming languages )Electronic computers(
، Type theory
، Human-computer interaction
QA
76
.
7
.
D48
Di Cosmo, Roberto, 3691-
AU
TI
SE
