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