Cartesian closed category

Results: 66



#Item
1Internal Completeness of Categories of Domains Paul Taylor 1985 This paper was presented at Category Theory and Computer Programming bf 1, University of Surrey (Guildford), SeptemberIt was published in Springer-Ve

Internal Completeness of Categories of Domains Paul Taylor 1985 This paper was presented at Category Theory and Computer Programming bf 1, University of Surrey (Guildford), SeptemberIt was published in Springer-Ve

Add to Reading List

Source URL: www.paultaylor.eu

Language: English - Date: 2009-02-12 12:48:17
2arXiv: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
3Monoidal Indeterminates and Categories of Possible WorldsI C. Hermida, R. D. Tennent∗ School of Computing, Queen’s University, Kingston, Canada K7L 3N6 Abstract Given any symmetric monoidal category C, a small symmet

Monoidal Indeterminates and Categories of Possible WorldsI C. Hermida, R. D. Tennent∗ School of Computing, Queen’s University, Kingston, Canada K7L 3N6 Abstract Given any symmetric monoidal category C, a small symmet

Add to Reading List

Source URL: maggie.cs.queensu.ca

Language: English - Date: 2011-12-16 22:41:04
4Classical Mechanics, Lecture 19 March 13, 2008 lecture by John Baez notes by Alex Hoffnung  1

Classical Mechanics, Lecture 19 March 13, 2008 lecture by John Baez notes by Alex Hoffnung 1

Add to Reading List

Source URL: math.ucr.edu

Language: English - Date: 2008-03-14 21:10:26
5The Trace Factorisation of Stable Functors Paul Taylor 1998 Abstract A functor is stable if it has a left adjoint on each slice. Such functors arise as forgetful functors from categories of models of disjunctive theories

The Trace Factorisation of Stable Functors Paul Taylor 1998 Abstract A functor is stable if it has a left adjoint on each slice. Such functors arise as forgetful functors from categories of models of disjunctive theories

Add to Reading List

Source URL: www.paultaylor.eu

Language: English - Date: 2009-02-12 12:08:46
6A Fibrational Framework for Possible-World Semantics of ALGOL-like Languages C. Hermida and R. D. Tennent School of Computing Queen’s University Kingston, Canada

A Fibrational Framework for Possible-World Semantics of ALGOL-like Languages C. Hermida and R. D. Tennent School of Computing Queen’s University Kingston, Canada

Add to Reading List

Source URL: maggie.cs.queensu.ca

Language: English - Date: 2007-01-30 15:35:55
7FROBENIUS PROPERTY OF A WEAK FACTORISATION SYSTEM Abstract. In this note I would like to show that if a locally Cartesian closed category with the type structure induced by a weak factorisation system supports Π-types,

FROBENIUS PROPERTY OF A WEAK FACTORISATION SYSTEM Abstract. In this note I would like to show that if a locally Cartesian closed category with the type structure induced by a weak factorisation system supports Π-types,

Add to Reading List

Source URL: covariant.me

Language: English - Date: 2016-04-19 03:32:37
    8Equideductive Logic and CCCs with Subspaces Paul Taylor Computer Laboratory University of Cambridge

    Equideductive Logic and CCCs with Subspaces Paul Taylor Computer Laboratory University of Cambridge

    Add to Reading List

    Source URL: www.paultaylor.eu

    Language: English - Date: 2009-02-12 12:35:41
    9A 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
    10BRICS  Basic Research in Computer Science BRICS RSPower et al.: A Representation Result for Free Cocompletions  A Representation Result for

    BRICS Basic Research in Computer Science BRICS RSPower et al.: A Representation Result for Free Cocompletions A Representation Result for

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 1998-10-06 07:03:41