Back to Results
First PageMeta Content
Computer programming / Software engineering / Mathematics / Recursion / Programming idioms / Computability theory / Functions and mappings / Subroutines / Monad / Primitive recursive function / Function / Subtyping


Formal Development with ABEL ∗ Ole-Johan Dahl and Olaf Owe Department of Informatics
Add to Reading List

Document Date: 2006-03-17 08:01:43


Open Document

File Size: 360,48 KB

Share Result on Facebook
UPDATE