1![arXiv: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](https://www.pdfsearch.io/img/b934b74010130d0fd76aba7b69adbd8f.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2009-06-05 20:47:48
|
---|
2![Evaluation 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](https://www.pdfsearch.io/img/77a25fa38ad0a6bf6ea5fb17ebc55b4c.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2012-02-14 20:56:25
|
---|
3![Modular 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](https://www.pdfsearch.io/img/9ab2a86c7cdc7d560fb93046c5ba95a2.jpg) | Add to Reading ListSource URL: i.cs.hku.hkLanguage: English - Date: 2015-08-09 21:04:41
|
---|
4![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 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](https://www.pdfsearch.io/img/f30beb2bddf31f651b6630e6cedc75d0.jpg) | Add to Reading ListSource URL: issac2009.kias.re.krLanguage: English - Date: 2009-07-31 09:21:57
|
---|
5![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 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](https://www.pdfsearch.io/img/84fcdee3b1a9324777c7db9205a4e1ac.jpg) | Add to Reading ListSource URL: ect.bell-labs.comLanguage: English - Date: 2010-12-15 21:36:48
|
---|
6![Biextensions, 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](https://www.pdfsearch.io/img/4a1c0082861226a89b69c0652464d54f.jpg) | Add to Reading ListSource URL: www.math.fsu.eduLanguage: English - Date: 2015-01-23 09:38:40
|
---|
7![Physics, 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](https://www.pdfsearch.io/img/8c8bea535beae156644f2f23e2f8bdec.jpg) | Add to Reading ListSource URL: math.ucr.eduLanguage: English - Date: 2012-06-26 12:58:42
|
---|
8![A 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](https://www.pdfsearch.io/img/314dc3d24d24cf89bab07b9fe2038cdc.jpg) | Add to Reading ListSource URL: www.disi.unige.itLanguage: English - Date: 2002-07-31 04:31:16
|
---|
9![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 ( 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 (](https://www.pdfsearch.io/img/2c5a7fed46416f084bb3ea811684f2fe.jpg) | Add to Reading ListSource URL: www.columbia.eduLanguage: English - Date: 2000-01-23 09:46:11
|
---|
10![A 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](https://www.pdfsearch.io/img/2e1252108c5c6fd03831e6f003913622.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2008-01-31 21:01:55
|
---|