Category theory and programming language semantics - an overview
Artikel i vetenskaplig tidskrift, 1986
Författare
Peter Dybjer
Göteborgs universitet
Institutionen för informationsbehandling
Publicerad i
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 240 s. 165-181Kategorisering
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)