10% OFF

Axiomatic Domain Theory In Categories Of Partial Maps

by Marcelo P. (University Of Edinburgh) Fiore
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, March of 2004 ‧
58,13€
10% OFF CARD
free shipping
Sell ​​your book
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

by Marcelo P. (University Of Edinburgh) Fiore

Property Description
ISBN: 9780521602778
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: March of 2004
Language: English
Cover: Softcover
Pages: 256
Format: Book
Collection: Distinguished Dissertations In Computer Science
Categories: Books in English > Science > Mathematics
EAN: 9780521602778

BOOKS FROM THE SAME COLLECTION