First Page | Document Content | |
---|---|---|
Date: 2006-03-17 08:01:43Computer 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 InformaticsAdd to Reading ListSource URL: folk.uio.noDownload Document from Source WebsiteFile Size: 360,48 KBShare Document on Facebook |