Login

Type of document: Report

Language: English

Author(s): Plotkin, G. D. ; Smyth, M. B.

Title: The Category-Theoretic Solution of Recursive Domain Equations

Year: 1978

Pages: 1-41

Place of publication: Dept. of Artifical Intelligence, University of Edinburgh

Catalog