10% de desconto

Isomorphisms Of Types eBook

From ?-Calculus To Information Retrieval And Language Design

de Roberto Dicosmo
idioma: inglês
Editor: BIRKHAUSER BOSTON, dezembro de 2012 ‧
59,61€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
Isomorphisms of types is a research topic in type theory that has valuable practical applications both for programming language design and for more human-centred information retrieval in software libraries. In this book the author presents the theoretical aspects of this research.

Isomorphisms Of Types

From ?-Calculus To Information Retrieval And Language Design

de Roberto Dicosmo

Propriedade Descrição
ISBN: 9781461225720
Editor: BIRKHAUSER BOSTON
Data de Lançamento: dezembro de 2012
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Progress In Theoretical Computer Science
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9781461225720

LIVROS DA MESMA COLEÇÃO