![Computer science / Proof theory / Models of computation / Computability theory / Natural deduction / Simply typed lambda calculus / Curry–Howard correspondence / Normalisation by evaluation / Theoretical computer science / Mathematical logic / Lambda calculus Computer science / Proof theory / Models of computation / Computability theory / Natural deduction / Simply typed lambda calculus / Curry–Howard correspondence / Normalisation by evaluation / Theoretical computer science / Mathematical logic / Lambda calculus](https://www.pdfsearch.io/img/fc45fa9c0292e77cfa6105ecbd799a99.jpg)
| Document Date: 2014-11-10 04:09:39 Open Document File Size: 106,97 KBShare Result on Facebook
Company Creative Commons / / Person Alan Turing / Types Fact / / Position General / / Product Slide 16 7 Copyright NICTA 2014 / Slide 4 1 Copyright NICTA 2014 / / ProgrammingLanguage Haskell / Lambda Calculus / C / /
SocialTag |