Combinatorial species - PDFSEARCH.IO - Document Search Engine

Combinatorial species
Results: 32

#	Item
1	Modular Reifiable Matching A List-of-Functors Approach to Two-Level Types Bruno C. d. S. Oliveira Shin-Cheng Mu Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2015-08-09 21:04:41 Object-oriented programming Computability theory Theoretical computer science Programming idioms Type theory Functor Subtyping Combinatorial species Lambda calculus Monad Recursion Is-a
2	Sage Reference Manual: Discrete dynamics Release 6.7 The Sage Development Team Add to Reading List Source URL: doc.sagemath.org Language: English - Date: 2015-06-24 05:21:38 Combinatorics Musical set theory Post-tonal music theory Sage Interval Combinatorial species Transformation Music Mathematics Permutations
3	A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes? Alejandro S´anchez1 and C´esar S´anchez1,2 1 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Binary tree Parity of a permutation Combinatorial species Skip list Model theory Mathematics Combinatorics Group theory
4	COMBINATORIAL SPECIES AND LABELLED STRUCTURES Brent Abraham Yorgey A DISSERTATION in Computer and Information Science Add to Reading List Source URL: dept.cs.williams.edu - Date: 2015-04-16 10:28:22
5	Sage: Open Source Mathematical Software: Symbolic Computation, Combinatorial Species, Backtracking Algorithms, and Distributed Computation William Stein, Gary Furnish, Mike Hansen, Robert Miller, and Yi Qiang March 21, 2 Add to Reading List Source URL: wstein.org Language: English - Date: 2008-04-08 08:25:32
6	COMBINATORIAL SPECIES AND LABELLED STRUCTURES Brent Abraham Yorgey A DISSERTATION in Computer and Information Sciences Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-12-12 16:17:48 Ancient Greek language Diacritics Greek diacritics Koine Greek Enumerative combinatorics Emmy Noether Linguistics Orthography Dyslexia
7	Contents Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii 0 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-09-04 09:54:56 Abstract algebra Adjoint functors Functor Equivalence of categories Institution Algebraic structure Natural transformation Combinatorial species Universal algebra Mathematics Algebra Category theory
8	Species and Functors and Types, Oh My! Brent A. Yorgey University of Pennsylvania Abstract Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-08-01 11:17:52 Higher-order functions Adjoint functors Functional programming Combinatorial species Map Functor Sheaf Enumerative combinatorics Equivalence of categories Abstract algebra Mathematics Declarative programming
9	Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Structure Interpretation First-order logic Symbol Permutation Signature Parity of a permutation Combinatorial species Mathematics Model theory Logic
10	Surprising Connections between Partitions and Divisors Thomas J. Osler, Abdulkadir Hassen, and Tirupathi R. Chandrupatla Tom Osler () is Professor of Mathematics Add to Reading List Source URL: www.rowan.edu Language: English - Date: 2007-08-30 09:48:24 Integer sequences Combinatorics Algebraic combinatorics Divisor function Partition Pentagonal number theorem Combinatorial species Series Friendly number Mathematics Mathematical analysis Number theory