10% de desconto

Axiomatic Domain Theory In Categories Of Partial Maps

de Marcelo P. (University Of Edinburgh) Fiore
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, março de 2004 ‧
58,13€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (abstract) setting. It includes an introduction to enriched category theory.

Axiomatic Domain Theory In Categories Of Partial Maps

de Marcelo P. (University Of Edinburgh) Fiore

Propriedade Descrição
ISBN: 9780521602778
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: março de 2004
Idioma: Inglês
Encadernação: Capa mole
Páginas: 256
Tipo de produto: Livro
Coleção: Distinguished Dissertations In Computer Science
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9780521602778

LIVROS DA MESMA COLEÇÃO