Isomorphisms of types : from λ-calculus to information retrieval and language design

Roberto Di Cosmo
Bok · Engelsk · 1995

Utgitt	Boston : Birkhäuser , 1995
Omfang	VIII, 235 s. : ill.
Emner	Human-computer interaction Programming languages (Electronic computers) Type theory Programmeringsspråk Vis mer... Typeteori programmeringsspråk typeteori lambdakalkyle
ISBN	081763763X. - 376433763X