Domain Algebras
Journal article, 1984

Author

Peter Dybjer

Department of computer science

University of Gothenburg

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 172 138-150

Subject Categories

Computer Science

More information

Created

10/7/2017