Constructive foundations for functional languagesde Raymond TurnerMateriasFunctional programming languagesEdiciones (1)Constructive foundations for functional languages (1991)McGraw-Hill · inglésMás obras de Raymond TurnerComputable modelsProperties, types and meaningTTolley's Charities ManualTolley's Charities Manual