Back to Results
First PageMeta Content
Type theory / Mathematical logic / Category theory / Functional programming / Abstract algebra / Term algebra / Initial algebra / Algebraic structure / Mathematical induction / Term / Sigma-algebra / Unification


Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989
Add to Reading List

Document Date: 2013-09-23 13:44:35


Open Document

File Size: 295,53 KB

Share Result on Facebook