Paper Info
Title
Category Theory and Programming Language Semantics: an Overview
Abstract
I have not tried to be comprehensive here. Instead I have tried to pursue the idea of category theory as a kind of type theory and thereby I have only included those uses of category theory which I have found particularly useful for understanding type theory, domain theory and algebraic semantics. Therefore, several things have been excluded, such as Arbib and Manes' (1980) partially additive semantics and Winskel's (1984) categories of Petri nets, to mention only two examples of interest.
Year
DOI
Venue
1985
10.1007/3-540-17162-2_121
Lecture Notes in Computer Science
Keywords
DocType
Volume
programming language semantics,category theory,type theory,petri net,domain theory
Conference
240
ISSN
ISBN
Citations 
0302-9743
3-540-17162-2
2
PageRank 
References 
Authors
0.41
14
1
Name
Order
Citations
PageRank
Peter Dybjer154076.99