Categorical combinators, sequential algorithms, and functional programming
Auteur :
Curien, P-.L.
Éditeur :
Curien, P-.L.
ISBN :
9780817636548
Date de publication :
1 janv. 1993
Dimensions :
23,5 x 15,5 x 2,3 cm
Poids :
1710 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
This monograph is the second edition of a concrete approach to the semantics of sequential programming languages, which is a fundamental topic in theoretical computer science. It presents examples of fruitful interactions among computer science, category theory and mathematical logic.