Back to Results
First PageMeta Content
Computability theory / Programming idioms / Theoretical computer science / Recursion / Mathematical logic / Well-founded relation / Lambda calculus / Quicksort / Computer programming / Mathematics / Computing


General Recursion The Choice ➜ Limited expressiveness, automatic termination COMP 4161 NICTA Advanced Course
Add to Reading List

Document Date: 2014-11-10 04:09:39

Open Document

File Size: 72,53 KB

Share Result on Facebook

Company

Creative Commons / /

Person

Toby Murray / /

Product

Slide 12 5 Copyright NICTA 2014 / Slide 8 3 Copyright NICTA 2014 / /

ProgrammingLanguage

Haskell / Lambda Calculus / C / /

Technology

dom / /

SocialTag