Orbifold - PDFSEARCH.IO - Document Search Engine

Orbifold
Results: 526

#	Item
221	A Formally-Verified C Static Analyzer Jacques-Henri Jourdan Vincent Laporte Sandrine Blazy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-10-28 11:05:08 Abstract interpretation Field theory Ring theory Function Valuation Ring Interpretation Finitary relation Orbifold Mathematics Abstract algebra Algebra
222	Complexity of Bezout’s theorem V: Polynomial time Steve Smale Mathematics Department University of California Berkeley, CA-94720 Add to Reading List Source URL: www6.cityu.edu.hk Language: English - Date: 2012-09-11 23:37:31 Analytic number theory Linear algebra Operator theory Spectral theory Symbol Orbifold Mathematical analysis Algebra Mathematics
223	Splitting (Complicated) Surfaces Is Hard∗ Erin W. Chambers† ´ Eric Colin de Verdi`ere‡ Add to Reading List Source URL: www.gipsa-lab.grenoble-inp.fr Language: English - Date: 2010-01-05 11:18:10 Differential geometry Algebraic topology Homotopy theory Curves Differential geometry of curves Geometric group theory Orbifold Fundamental group Topology Geometry Abstract algebra
224	Evidence-based Audit Jeffrey A. Vaughan Limin Jia Karl Mazurak Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Parity Parity of a permutation Permutations Symbol Curry–Howard correspondence Model theory Orbifold Mathematics Proof theory Group theory
225	Type-Changing Program Transformations with Pattern Matching Joeri van Eekelen, Sean Leather and Johan Jeuring Utrecht University, , , Abstract We present a system for Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-06 07:04:24 Mathematics Pattern matching Lambda calculus Logic in computer science Orbifold Theoretical computer science Applied mathematics Models of computation
226	State-Dependent Representation Independence Amal Ahmed Derek Dreyer Andreas Rossberg Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2008-12-03 18:43:30 Orbifold Beta code Logic Symbol Entailment
227	Session Types Behavioural semantics Sub-Behaviour Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-05-03 04:14:23 Differential topology Orbifold
228	A Step-Indexed Model of Substructural State Amal Ahmed Matthew Fluet ∗ Greg Morrisett ∗ Add to Reading List Source URL: www.cs.rit.edu Language: English - Date: 2009-06-01 13:14:35 Symbol Greek alphabet Orbifold
229	Typed Closure Conversion Preserves Observational Equivalence Amal Ahmed Matthias Blume Toyota Technological Institute at Chicago Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2008-07-16 01:16:46 Orbifold Programming language semantics Symbol Greek alphabet
230	A Theory of Changes for Higher-Order Languages Incrementalizing λ-Calculi by Static Differentiation Yufei Cai Paolo G. Giarrusso Add to Reading List Source URL: www.informatik.uni-marburg.de Language: English - Date: 2014-02-14 06:33:41 Differential calculus Symbol Denotational semantics Laplace transform Orbifold Chain rule Mathematical analysis Mathematics Derivative

UPDATE