Computability - PDFSEARCH.IO - Document Search Engine

Computability
Results: 1315

#	Item
971	Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Harvard University [removed] Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:56 Models of computation Lambda calculus Predicate logic Computability theory First-order logic Hoare logic Ordinal number Curry–Howard correspondence Mathematical logic Theoretical computer science Logic
972	Multi-core Parallelization of Abstracted Abstract Machines ∗ Leif Andersen Matthew Might University of Utah Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-03-23 17:44:22 Formal languages Models of computation Computability theory Formal methods Lambda calculus Actor model Algorithm Regular language Semantics Theoretical computer science Mathematics Applied mathematics
973	Incompleteness versus a Platonic multiverse Paul Budnik Mountain Math Software [removed] c 2013 Mountain Math Software Add to Reading List Source URL: www.mtnmath.com Language: English - Date: 2013-06-12 13:25:59 Ordinal numbers Computability theory Proof theory Theory of computation Ordinal notation Recursively enumerable set Reverse mathematics Enumeration Continuum hypothesis Mathematical logic Mathematics Logic
974	Studium przypadku: Church Adam Olszewski UPJP2, Copernicus Center[removed] Add to Reading List Source URL: www.obi.opoka.org.pl Language: English - Date: 2012-12-08 15:07:45 Theoretical computer science Mathematical logic Computable function Church–Turing thesis Function Computability Computability theory Theory of computation Mathematics
975	Continuations and Transducer Composition Olin Shivers Matthew Might Georgia Institute of Technology Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Computer programming Models of computation Computability theory Lambda calculus Theoretical computer science Call-with-current-continuation Continuation-passing style Weight Software engineering Continuations Computing
976	Environment Analysis via ∆CFA Matthew Might Olin Shivers Georgia Institute of Technology Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Continuations Logic in computer science Computability theory Models of computation Symbol Lambda calculus Stack Combinatory logic Closure Software engineering Computing Subroutines
977	Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014 Add to Reading List Source URL: www.mtnmath.com Language: English - Date: 2014-02-24 17:59:08 Computability theory Proof theory Theory of computation Cardinal numbers Ordinal notation Limit ordinal Recursively enumerable set Recursive ordinal Large countable ordinal Mathematical logic Mathematics Ordinal numbers
978	Introduction to the Lambda Calculus Chris Lomont[removed]www.lomont.org Leibniz[removed]) Add to Reading List Source URL: www.lomont.org Language: English - Date: 2012-08-09 18:49:57 Computability theory Theory of computation Models of computation Lambda calculus Computability Turing machine Alan Turing Halting problem Combinatory logic Mathematics Theoretical computer science Mathematical logic
979	JFP 18 (4): 437–502, [removed]c 2007 Cambridge University Press 437 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-06-06 08:53:06 Logic in computer science Lambda calculus Models of computation Computability theory Free variables and bound variables Name binding Operational semantics Simply typed lambda calculus Π-calculus Theoretical computer science Applied mathematics Mathematics
980	Computability and Computation Chris Lomont Jun 22,2012 What is computability? Add to Reading List Source URL: www.lomont.org Language: English - Date: 2012-08-09 18:49:47 Mathematics Computer science Computable function Computable number Halting problem Computability Turing machine Algorithm Undecidable problem Theoretical computer science Computability theory Theory of computation

UPDATE