Computable modelsde Raymond TurnerMateriasModel theoryComputable functionsAbstract data types (computer science)Logic, symbolic and mathematicalEdiciones (1)Computable models (2009)Springer · inglés · ISBN 9781848820524Más obras de Raymond TurnerProperties, types and meaningTTolley's Charities ManualTolley's Charities ManualConstructive foundations for functional languages