Category Theory and Computer Science
Subtitle: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings (Lecture Notes in Computer Science)
Contributors: David Pitt (Editor); David E. Rydeheard (Editor); Peter Johnstone (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 12, 1995
Language: eng
Format: Paperback
Number of pages: 252
ISBN-13: 9783540601647
Subjects: Mathematical theory of computation; Mathematics for scientists & engineers; Congresses; Computer Books: Languages; Computers - General Information; Programming Languages - General; Logic Design; Programming - Software Development; Category Theory; Computers / Logic Design; Formal Languages; Formal Logics; Formale Logik; Formale Sprachen; Kategorientheorie; Programmsemantik; Type Theory; Typentheorie; Categories (Mathematics); Computer programming; Computer Bks - Languages / Programming