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-181

Kategorisering

Ämneskategorier (SSIF 2011)

Datavetenskap (datalogi)

Mer information

Skapat

2017-10-07