Applications of Categories in Computer Science
Subtitle: Proceedings of the London Mathematical Society Symposium, Durham 1991 (London Mathematical Society Lecture Note Series)
Contributors: M. P. Fourman (Editor); P. T. Johnstone (Editor); A. M. Pitts (Editor)
Publisher: Cambridge University Press
Published: June 26, 1992
Language: eng
Format: Paperback
Number of pages: 349
ISBN-13: 9780521427265
Subjects: Category theory; General Theory of Computing; Computer science; Computer Science (General); Mathematics; Science/Mathematics; Congresses; Applied; Discrete Mathematics; Computer science--Mathematics--Congresses; Computer science--Mathematics--Congresses Com; Mathematics / Applied; Mathematics / Combinatorics; Mathematics-Discrete Mathematics; Combinatorics; Categories (Mathematics)
First sentence: We explore some foundational issues in the development of a theory of intensional semantics, in which program denotations may convey information about computation strategy in addition to the usual extensional information.