Cost Models based on the λ-‐Calculus or The Church Calculus the Other Turing Machine Guy Blelloch - Models of computation - Document - PDFSEARCH.IO

First Page	Meta Content
	Cost Models based on the λ-‐Calculus or The Church Calculus the Other Turing Machine Guy Blelloch Add to Reading List Document Date: 2015-02-06 16:30:16 Open Document File Size: 1,53 MB Share Result on Facebook Facility Other Turing Machine Guy Blelloch Carnegie Mellon University / / Organization Carnegie Mellon University / / Position mul?head / / ProgrammingLanguage Simula / / Technology Random Access / SRAM / RAM / / SocialTag Mathematics Algorithm Mathematical logic Models of computation Simula L SC Turing machine Theoretical computer science Applied mathematics

Cost Models based on the λ-­‐Calculus or The Church Calculus the Other Turing Machine Guy Blelloch Add to Reading List