Related Books
Language: en
Pages: 288
Pages: 288
Type: BOOK - Published: 1991 - Publisher:
Language: en
Pages: 477
Pages: 477
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what construct
Language: en
Pages: 338
Pages: 338
Type: BOOK - Published: 2013-04-10 - Publisher: Courier Corporation
Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, a
Language: en
Pages: 132
Pages: 132
Type: BOOK - Published: 2006-12-04 - Publisher: World Scientific Publishing Company
This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. It int
Language: en
Pages: 67
Pages: 67
Type: BOOK - Published: 1988 - Publisher: