Calculus of functors

Results: 26



#Item
1arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California

arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2009-06-05 20:47:48
2Evaluation strategies for monadic computations Tomas Petricek Computer Laboratory University of Cambridge United Kingdom

Evaluation strategies for monadic computations Tomas Petricek Computer Laboratory University of Cambridge United Kingdom

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2012-02-14 20:56:25
3Modular Reifiable Matching A List-of-Functors Approach to Two-Level Types Bruno C. d. S. Oliveira Shin-Cheng Mu

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
4On Delineability of Varieties in CAD-Based Q E S. McCallum (Macquarie University) and C. W. Brown (US Naval Academy) A key notion in the algorithmic theory of CADs is delineability: roughly speaking, the real variety of

On Delineability of Varieties in CAD-Based Q E S. McCallum (Macquarie University) and C. W. Brown (US Naval Academy) A key notion in the algorithmic theory of CADs is delineability: roughly speaking, the real variety of

Add to Reading List

Source URL: issac2009.kias.re.kr

Language: English - Date: 2009-07-31 09:21:57
5A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

Add to Reading List

Source URL: ect.bell-labs.com

Language: English - Date: 2010-12-15 21:36:48
6Biextensions, bimonoidal functors, multilinear functor calculus, and categorical rings Ettore Aldrovandi∗ Department of Mathematics, Florida State University Abstract

Biextensions, bimonoidal functors, multilinear functor calculus, and categorical rings Ettore Aldrovandi∗ Department of Mathematics, Florida State University Abstract

Add to Reading List

Source URL: www.math.fsu.edu

Language: English - Date: 2015-01-23 09:38:40
    7Physics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Riverside, California 92521, USA Mike Stay

    Physics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Riverside, California 92521, USA Mike Stay

    Add to Reading List

    Source URL: math.ucr.edu

    Language: English - Date: 2012-06-26 12:58:42
    8A category-theoretic account of program modules Eugenio Moggi∗ [removed] LFCS, University of Edinburgh, EH9 3JZ Edinburgh, UK May 31, 1994

    A category-theoretic account of program modules Eugenio Moggi∗ [removed] LFCS, University of Edinburgh, EH9 3JZ Edinburgh, UK May 31, 1994

    Add to Reading List

    Source URL: www.disi.unige.it

    Language: English - Date: 2002-07-31 04:31:16
    9VARIABLE-BINDERS AS FUNCTORS Achille C. Varzi Istituto per la Ricerca Scientifica e Tecnologica (IRST) I[removed]Povo (Trento), Italy (Published in Pozna´n Studies in the Philosophy of the Sciences and the Humanities 40 (

    VARIABLE-BINDERS AS FUNCTORS Achille C. Varzi Istituto per la Ricerca Scientifica e Tecnologica (IRST) I[removed]Povo (Trento), Italy (Published in Pozna´n Studies in the Philosophy of the Sciences and the Humanities 40 (

    Add to Reading List

    Source URL: www.columbia.edu

    Language: English - Date: 2000-01-23 09:46:11
    10A Hierarchy of Maps Between Compacta arXiv:math/9704205v1 [math.LO] 9 Apr 1997 Paul Bankston Department of Mathematics, Statistics and Computer Science

    A Hierarchy of Maps Between Compacta arXiv:math/9704205v1 [math.LO] 9 Apr 1997 Paul Bankston Department of Mathematics, Statistics and Computer Science

    Add to Reading List

    Source URL: arxiv.org

    Language: English - Date: 2008-01-31 21:01:55