Category Theory and Computer Science
Subtitle: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science)
Contributors: David H. Pitt (Editor); Pierre-Louis Curien (Editor); Samson Abramsky (Editor); Andrew M. Pitts (Editor); Axel Poigne (Editor); David E. Rydeheard (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 24, 1991
Language: eng
Format: Paperback
Number of pages: 301
ISBN-13: 9783540544951
Subjects: Applications of Computing; Category theory; Logic Design; Computers - General Information; Programming - Software Development; Programming Languages - General; Computers / Logic Design; Domain Theory; Kategorientheorie; Linear Logic; Lineare Logic; Programming Languages; Semantics; Semantik von Programmiersprachen; Type Theory; Typentheorie; Categories (Mathematics); Computer science; Congresses
First sentence: The problem of finding an algebraic structure for stable open subsets of a suitable domain has been recently raised by several authors.