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