![Mathematics / Logic in computer science / Theory of computation / Type theory / Computability theory / Simply typed lambda calculus / Combinatory logic / Typed lambda calculus / Normalization property / Theoretical computer science / Lambda calculus / Mathematical logic Mathematics / Logic in computer science / Theory of computation / Type theory / Computability theory / Simply typed lambda calculus / Combinatory logic / Typed lambda calculus / Normalization property / Theoretical computer science / Lambda calculus / Mathematical logic](https://www.pdfsearch.io/img/c112687646e7ca3e895614b9cbd347af.jpg)
| Document Date: 2013-09-21 21:21:50 Open Document File Size: 592,31 KBShare Result on Facebook
City Halifax / / Facility University of Ottawa / Dalhousie University / Statistics Dalhousie University / / IndustryTerm unification algorithm / computer algebra systems / type inference algorithm / / Organization Lambda Calculus Peter Selinger Department of Mathematics / Dalhousie University / University of Ottawa / / ProgrammingLanguage Haskell / Lambda calculus / Lisp / / Technology 76 9.5 The type inference algorithm / functional programming / resulting algorithms / 9.4 The unification algorithm / /
SocialTag |