Category Theory and Computer Science
Subtitle: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)
Contributors: David H. Pitt (Editor); David E. Rydeheard (Editor); Peter Dybjer (Editor); Andrew M. Pitts (Editor); Axel Poigne (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 20, 1989
Language: eng
Format: Paperback
Number of pages: 365
ISBN-13: 9783540516620
Subjects: Operating systems & graphical user interfaces (GUIs); Logic Design; Programming - Software Development; Programming Languages - General; Computers / Logic Design; Computers : Programming - Software Development; Computers : Programming Languages - General; Denotationelle Semantik; Kategorientheorie; Lamda-Kalkül; Semantik von Programmiersprachen; Computers - General Information