![Computer science / Formal methods / Type systems / Algorithms / Hindley–Milner / Unification / Lambda calculus / Natural deduction / Heat equation / Theoretical computer science / Applied mathematics / Type theory Computer science / Formal methods / Type systems / Algorithms / Hindley–Milner / Unification / Lambda calculus / Natural deduction / Heat equation / Theoretical computer science / Applied mathematics / Type theory](https://www.pdfsearch.io/img/8b4f03d18ce430c9b861b550d6bcf1ed.jpg)
| Open Document Share Result on Facebook
City Edinburgh / Darnas* / / Company Russell / I- If S A / / Currency USD / / Facility University Introduction This / / IndustryTerm easy algorithm / / Organization Instituto National de Investigacao Permksion / Cornell / Association for Computing Machinery / / Person Combinatory / / Position author / assignment programmer / / ProgrammingLanguage Ada / ML / ALGOL 68 / / ProvinceOrState New Foundland and Labrador / / Technology A. occurring Algorithm / left algorithm / easy algorithm / /
SocialTag |