Computability - PDFSEARCH.IO - Document Search Engine

Computability
Results: 1315

#	Item
31	The CPS transform from Griffin. Let us first repeat what Herman already showed on the blackboard. The definition of the CPS transform in Griffin is: x = λk. kx λx. M = λk. k (λx. M ) M N = λk. M (λm. N (λn. mnk)) Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-11-28 07:13:57 Computability theory Mathematical logic Theoretical computer science Mathematics Differential topology Orbifold Combinatory logic
32	EPJ Web of Conferences 113, DOI: epjconf021 C Owned by the authors, published by EDP Sciences, 2016 Higgs particles interacting via a scalar Dark Matter ﬁeld Add to Reading List Source URL: www.epj-conferences.org Language: English Computability theory operator Operator theory Probability distributions
33	On Induction Principles C. Verhoef Programming Research Group University of Amsterdam KruislaanSJ Amsterdam Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-08-09 06:28:59 Mathematics Theoretical computer science Mathematical analysis Operator theory Computability theory Automated theorem proving Logic programming Type theory Unification operator Spectral theory of ordinary differential equations
34	All-Termination(T )? Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We introduce the All-Termination(T ) problem: given a termination solver T and a collection of functions Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:25 Mathematical analysis Mathematics Analysis Functions and mappings Static program analysis Termination analysis Limit of a function IP Well-founded relation Measure theory Computability theory Inequalities
35	The key to blame: Gradual typing meets cryptography Jeremy Siek Philip Wadler Indiana University, USA Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2016-07-07 08:33:11 Theoretical computer science Mathematics Mathematical logic Logic in computer science Models of computation Lambda calculus Computability theory Valuation Denotational semantics Combinatory logic Holomorphic functional calculus
36	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
37	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
38	What can a philosopher and logician do for your enterprise? v. 3, A series of un-ordered top ten lists with brief, non-exhaustive annotations to answer the question above follows. Top ten skills concerning philosophy in Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2006-11-11 18:49:37 Logic Philosophy Science Formal sciences Belief Thought Computability theory Theoretical computer science Mathematical logic Argument ChurchTuring thesis Computation
39	Is Bioinformatics Possible? Philosophical problems and opportunities Johan Nyström-Persson, Level Five Co., Ltd and Australia-China Centre for Wheat Improvement Add to Reading List Source URL: www.monomorphic.org Language: English - Date: 2016-02-21 03:39:18 Theoretical computer science Alan Turing Computability theory Mathematics Software engineering Formal methods Models of computation Turing machine Turing Lambda calculus Affymetrix Computer science
40	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof

UPDATE