Category theory and programming language semantics - an overview
Journal article, 1986
Author
Peter Dybjer
University of Gothenburg
Department of computer science
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 240 165-181Subject Categories
Computer Science