Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
221	The Fusion Machine (extended abstract) Philippa Gardner1 , Cosimo Laneve2 , and Lucian Wischik2 1 2 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-09-03 06:29:14 Theoretical computer science Computability theory Process calculi -calculus Lambda calculus Process calculus Integration by substitution Limit of a function Substitution Heat equation Join-pattern
222	Technische Universität Dresden Fakultät Informatik DIPLOMARBEIT Free Theorems for Sublanguages of Haskell Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2008-04-14 08:10:31 Type theory Parametricity Type class Haskell Polymorphism Map Lambda calculus Combinatory logic Kind Parametric polymorphism ML Haskell features
223	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2016-07-11 03:14:21 Model theory Mathematical logic Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus Constructible universe Structure
224	Protein Engineering, Design & Selection vol. 25 no. 6 pp. 271– 283, 2012 Published online April 6, 2012 doi:protein/gzs013 Landscape phages and their fusion proteins targeted to breast cancer cells Olusegun A.F Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Bacteriophages Molecular biology Myoviridae Microbiology Phage display Monoclonal antibody Lambda phage Lysin MCF-7 Enterobacteria phage T4 T-even bacteriophages
225	Reducts of structures and maximal-closed permutation groups Manuel Bodirsky∗, Laboratoire d’Informatique (LIX), CNRS UMR 7161, Ecole Polytechnique, 91128 Palaiseau, France, Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2014-01-29 07:07:24 Group theory Lie groups Non-associative algebras Lie algebras Constructible universe Equivalence relation Model theory Mutation Order Group action Vertex operator algebra Lambda calculus
226	AMOEBAS AND SDP JAN FONIOK AND DANIEL JOHANNSEN Abstract. The hypersurface amoeba membership problem is the problem to decide whether for an input point λ ∈ Rn , the point λ is an element of the amoeba of the hypersu Add to Reading List Source URL: www.ifor.math.ethz.ch Language: English - Date: 2009-01-25 05:07:56 Lambda calculus Matrices Positive-definite matrix Combinatory logic Spectral theory Ordinary differential equations
227	Currying (what Functions of Several Arguments Really are) More About Higher-Order Functions Remember simple? Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-27 09:57:47 Higher-order functions Functional programming Subroutines Lambda calculus Programming language comparisons Fold Currying Map Function Recursion Standard ML OCaml
228	Pi Lambda Theta Initiate Payment Record Congratulations on a successful chapter initiation! Because of your hard work, your PLT chapter will continue to grow and will have a lasting, positive impact on the education fie Add to Reading List Source URL: pilambda.org Language: English - Date: 2015-08-04 04:09:20 Honor societies Payment Pi Lambda Theta Cheque
229	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2010-08-07 06:03:33 Automated theorem proving Model theory Formal methods Constraint programming Resolution Skolem normal form Lambda calculus Satisfiability Boolean satisfiability problem Conjunctive normal form
230	Interpretations of the Gradually-Typed Lambda Calculus (Distilled Tutorial) Jeremy G. Siek University of Colorado at Boulder Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-06 15:51:54 Theoretical computer science Symposium on Principles of Programming Languages SIGPLAN ACM SIGACT Gradual typing Lambda calculus

UPDATE