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

Subject Categories

Computer Science

More information

Created

10/7/2017