Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
721	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 Mathematical logic Computer science Denotational semantics Lambda calculus Symbol Combinatory logic Orbifold Programming Computable Functions Theoretical computer science Logic in computer science Programming language semantics
722	Sample Paper for the amsmath Package File name: testmath.tex American Mathematical Society Version 2.0, Add to Reading List Source URL: mirror.easyname.at Language: English - Date: 1999-11-15 15:09:17 Logic in computer science Operator theory Ordinary differential equations Spectral theory Theorems and definitions in linear algebra Sturm–Liouville theory Mathematics Combinatory logic Lambda calculus
723	Conversation Types Lu´ıs Caires and Hugo Torres Vieira CITI, Departamento de Inform´ atica, Faculdade de Ciˆencias e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-09-27 14:27:12 Models of computation Computer science Computability theory Lambda calculus Π-calculus Theoretical computer science Mathematics Applied mathematics
724	letters to nature ................................................................. The bacteriophage f29 portal motor can package DNA against a large internal force Add to Reading List Source URL: tansgroup.amolf.nl Language: English - Date: 2008-02-21 05:54:48 Microbiology Molecular biology DNA Prohead T7 phage Lambda phage Virus Nucleic acid double helix RNA polymerase Biology Bacteriophages Helices
725	An Implementation of Bigraph Matching Arne John Glenstrup ∗ , Troels Christoffer Damgaard, Lars Birkedal, Espen Højsgaard IT University of Copenhagen, Denmark Abstract We describe a provably sound and complete matchin Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-11-05 12:26:38 Parity of a permutation Permutations Lambda calculus Mathematics Group theory Parity
726	CS 342 Lecture 8 1 Data Abstraction Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2010-02-23 13:58:07 Lambda calculus Applied mathematics Scheme Computer science Programming language theory
727	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-04-10 20:31:05 Lambda calculus Normalisation by evaluation Proof theory
728	Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:02:39 Functions and mappings Theoretical computer science Formal methods Models of computation Model theory Symbol Lambda calculus Interpretation Primitive recursive function Mathematics Mathematical logic Computability theory
729	Some parametricity isomorphisms Paul Blain Levy September 16, 2010 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-09-16 16:40:23 Theoretical computer science Applied mathematics Computer science Ordinary differential equations Mathematics Computability theory Lambda calculus
730	Public Enquiry - Singapore Medical Device Register (SMDR) Page 1 of 1 Add to Reading List Source URL: www.ondamed.net Language: English - Date: 2014-09-14 06:15:48 OMRON Nebulizer Medical technology Medical device HSA Health Sciences Authority Lambda Antibody Medicine Medical equipment Technology

UPDATE