Register | Log in | FAQ      [?] 

mstone's watchlist [1000+ articles]

Recent papers matching mstone's watchlist criteria
  • The calculus of constructions
    Information and Computation, Vol. 76, No. 2-3. ( 1988), pp. 95-120.
    by Thierry Coquand, Gerard Huet
    posted to no-tag by rhgg2 on 2008-03-27 17:10:53 as **
  • Elimination of extensionality in Martin-Löf type theory
    Vol. 806 (1994), pp. 166-190.
    by Martin Hofmann
    posted to no-tag by rhgg2 on 2008-03-13 13:20:03 as **
  • The groupoid interpretation of type theory
    Vol. 36 (1998), pp. 83-111.
    by Martin Hofmann, Thomas Streicher
    posted to no-tag by rhgg2 on 2008-02-25 15:05:43 as **
  • Intuitionistic type theory
    Vol. 1 (1984)
    by Per Martin-Löf
    posted to no-tag by rhgg2 on 2008-02-25 14:58:43 as **
  • Programming in Martin-Löf's Type Theory
    Vol. 7 (1990)
    by Bengt Nordström, Kent Petersson, Jan M Smith
    posted to no-tag by rhgg2 on 2008-02-25 14:50:28 as **
  • Locally cartesian closed categories and type theory
    Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 95, No. 1. (1984), pp. 33-48.
    by RAG Seely
    posted to no-tag by rhgg2 on 2008-02-19 13:23:39 as **
  • Model category structures in bifibred categories
    Journal of Pure and Applied Algebra, Vol. 95, No. 2. (12 August 1994), pp. 203-223.
    by Agusti Roig
    posted to no-tag by rhgg2 on 2007-12-04 12:18:11 as **
  • Sketches
    Journal of Pure and Applied Algebra, Vol. 143, No. 1-3. (10 November 1999), pp. 275-291.
    by Yoshiki Kinoshita, John Power, Makoto Takeyama
    posted to no-tag by rhgg2 on 2007-12-03 13:16:29 as **
  • Generalised algebraic theories and contextual categories
    Annals of Pure and Applied Logic, Vol. 32 (1986), pp. 209-243.
    by John Cartmell
    posted to no-tag by rhgg2 on 2007-11-29 11:17:38 as ** along with 1 person and 1 group xiemaisi AS-IIS_ReadingGroup
  • Introduction to extensive and distributive categories
    Journal of Pure and Applied Algebra, Vol. 84, No. 2. (1993), pp. 145-158.
    by Aurelio Carboni, Stephen Lack, RFC Walters
    posted to no-tag by rhgg2 on 2007-11-21 20:23:17 as **
  • A Quillen Model Structure for 2-Categories
    K-Theory, Vol. 26, No. 2. (1 June 2002), pp. 171-205.
    by Stephen Lack
    posted to no-tag by rhgg2 on 2007-11-15 13:57:28 as **
  • Exploring the gap between linear and classical logic
    Theory and Applications of Categories, Vol. 18, No. 17. (2007), pp. 473-535.
    by Francois Lamarche
    posted to no-tag by rhgg2 on 2007-11-15 10:22:15 as **
  • Model categories
    Vol. 63 (1999)
    by Mark Hovey
    posted to no-tag by rhgg2 on 2007-10-16 08:01:41 as **
  • On property-like structures
    Theory and Applications of Categories, Vol. 3 (1997), pp. No. 9, 213-250 (electronic).
    by Max G Kelly, Stephen Lack
    posted to no-tag by rhgg2 on 2007-10-15 14:36:55 as **
  • Proarrows. II
    Cahiers de Topologie et Geométrie Différentielle Catégoriques, Vol. 26, No. 2. (1985), pp. 135-168.
    by Richard J Wood
    posted to no-tag by rhgg2 on 2007-10-15 14:33:33 as **
  • Abstract proarrows. I
    Cahiers de Topologie et Geométrie Différentielle Catégoriques, Vol. 23, No. 3. (1982), pp. 279-290.
    by Richard J Wood
    posted to no-tag by rhgg2 on 2007-10-15 14:33:08 as **
  • Pseudo Algebras and Pseudo Double Categories
    Journal of Homotopy and Related Structures, Vol. to appear
    by Thomas Fiore
    posted to no-tag by rhgg2 on 2007-10-15 14:26:59 as **
  • Double clubs
    Cahiers de Topologie et Geométrie Différentielle Catégoriques, Vol. 47, No. 4. (2006), pp. 261-317.
    by Richard Garner
    posted to no-tag by rhgg2 on 2007-10-15 14:18:01 as **
  • Biclosed bicategories: localisation of convolution
    (23 May 2007)
    by Brian J Day
    posted to no-tag by rhgg2 on 2007-10-15 14:13:22 as **
  • Enriched categories and cohomology
    Reprints in Theory and Application of Categories, No. 14. (2005)
    by Ross Street
    posted to no-tag by rhgg2 on 2007-10-15 14:02:43 as **
  • Coherence for tricategories
    Memoirs of the American Mathematical Society, Vol. 117, No. 558. (1995)
    by R Gordon, John Power, Ross Street
    posted to no-tag by rhgg2 on 2007-10-15 13:09:28 as **
  • Introduction to bicategories
    (1967), pp. 1-77.
    by Jean Bénabou
    posted to no-tag by rhgg2 on 2007-10-15 13:07:43 as **
  • Review of the elements of $2$-categories
    (1974), pp. 75-103. Lecture Notes in Math., Vol. 420.
    by GM Kelly, Ross Street
    posted to no-tag by rhgg2 on 2007-10-15 13:03:46 as **
  • Coherence for bicategories and indexed categories
    Journal of Pure and Applied Algebra, Vol. 37, No. 1. (1985), pp. 59-80.
    by Saunders M Lane, Robert Paré
    posted to no-tag by rhgg2 on 2007-10-15 12:48:04 as **
  • 2-nerves for bicategories
    (11 Jul 2006)
    by Stephen Lack, Simona Paoli
    posted to no-tag by rhgg2 on 2007-10-15 12:43:59 as **
  • Telescopic mappings in typed lambda calculus
    Information and Computation, Vol. 91, No. 2. (April 1991), pp. 189-204.
    by NG de Bruijn
    posted to no-tag by rhgg2 on 2007-09-09 08:30:38 as **
  • Adjoints for double categories
    Cahiers de Topologie et Geométrie Différentielle Catégoriques, Vol. 45, No. 3. (2004), pp. 193-240.
    by Marco Grandis, Robert Paré
    posted to no-tag by rhgg2 on 2007-08-30 13:55:11 as **
  • Limits in double categories
    Cahiers de Topologie et Geométrie Différentielle Catégoriques, Vol. 40, No. 3. (1999), pp. 162-220.
    by Marco Grandis, Robert Paré
    posted to no-tag by rhgg2 on 2007-08-30 13:54:43 as **
  • Cartesian Bicategories II
    (14 Aug 2007)
    by A Carboni, GM Kelly, Walters, RJ Wood
    posted to no-tag by rhgg2 on 2007-08-30 13:51:24 as **
  • Framed Bicategories and Monoidal Fibrations
    (9 Jun 2007)
    by Michael Shulman
    posted to no-tag by rhgg2 on 2007-08-29 14:31:09 as ** along with 1 person TooMuchCoffeeMan
  • A note on discrete Conduché fibrations
    Theory and Applications of Categories, Vol. 5 (1999), pp. No.\ 1, 1-11 (electronic).
    by Peter Johnstone
    posted to no-tag by rhgg2 on 2007-08-29 13:59:59 as **
  • Monads for which structures are adjoint to units
    Journal of Pure and Applied Algebra, Vol. 104, No. 1. (1995), pp. 41-59.
    by Anders Kock
    posted to no-tag by rhgg2 on 2007-08-29 13:52:06 as **
  • Koszul Duality
    by James Cranch
    posted to no-tag by rhgg2 on 2007-08-29 13:48:35 as **
  • A general coherence result
    Journal of Pure and Applied Algebra, Vol. 57, No. 2. (1989), pp. 165-173.
    by AJ Power
    posted to no-tag by rhgg2 on 2007-08-29 13:41:48 as **
  • The logic of closed categories
    Notre Dame Journal of Formal Logic, Vol. 18, No. 3. (1977), pp. 441-457.
    by Manfred E Szabo
    posted to no-tag by rhgg2 on 2007-08-29 13:41:17 as **
  • The homotopy category is a homotopy category
    Archiv der Mathematik, Vol. 23 (1972), pp. 435-441.
    by Arne Strom
    posted to no-tag by rhgg2 on 2007-08-28 22:22:37 as **
  • Non-well-founded trees in categories
    Annals of Pure and Applied Logic, Vol. 146, No. 1. (2007), pp. 40-59.
    by Benno van den Berg, Federico De Marchi
    posted to no-tag by rhgg2 on 2007-08-28 22:22:04 as **
  • On the interpretation of type theory in locally Cartesian closed categories
    Vol. 933 (1995), pp. 427-441.
    by Martin Hofmann
    posted to no-tag by rhgg2 on 2007-08-28 22:19:42 as **
  • Monads on symmetric monoidal closed categories
    Archiv der Mathematik, Vol. 21, No. 1. (1 December 1970), pp. 1-10.
    by Anders Kock
    posted to no-tag by rhgg2 on 2007-08-28 22:18:08 as ** along with 1 person TooMuchCoffeeMan
  • Braided tensor categories
    Advances in Mathematics, Vol. 102, No. 1. (1993), pp. 20-78.
    by André Joyal, Ross Street
    posted to no-tag by rhgg2 on 2007-08-28 22:17:23 as **
  • Monoidal Bicategories and Hopf Algebroids
    Advances in Mathematics, Vol. 129, No. 1. (15 July 1997), pp. 99-157.
    by Brian Day, Ross Street
    posted to no-tag by rhgg2 on 2007-08-23 08:10:07 as **
  • An axiomatic explanation of complete self-reproduction
    Bulletin of Mathematical Biology, Vol. 30, No. 3. (1968), pp. 415-425.
    by Lars Löfgren
    posted to axiomatizability explanation formalizability self-explanation self-reproduction bibtex-import by pile on 2007-08-22 14:48:40 as **
  • The periodic table of $n$-categories for low dimensions II: degenerate tricategories
    (15 Jun 2007)
    by Eugenia Cheng, Nick Gurski
    posted to no-tag by rhgg2 on 2007-08-21 12:28:30 as ** along with 2 people jrw Scis0000002
  • Formal category theory: adjointness for 2-categories
    Vol. 391 (1974)
    by John W Gray
    posted to no-tag by rhgg2 on 2007-06-28 09:28:39 as **
  • Homotopy invariant algebraic structures on topological spaces
    Vol. 347 (1973)
    by JM Boardman, RM Vogt
    posted to no-tag by rhgg2 on 2007-06-28 09:25:55 as **
  • The geometry of iterated loop spaces
    Vol. 271 (1972)
    by JP May
    posted to no-tag by rhgg2 on 2007-06-28 09:17:07 as **
  • Fractal properties and small-scale structure of cosmic string networks
    Phys. Rev. D, Vol. 73, No. 4. (February 2006), 043515.
    by CJ Martins, EP Shellard
    posted to fractal network by scis0000001 on 2007-05-23 00:47:42 as ** along with 2 people Scis0000002 jrw
  • Ordering Dynamics of Topological Defect Networks
    ArXiv High Energy Physics - Phenomenology e-prints (December 1997)
    by M Hindmarsh
    posted to dynamics ordering topological-defect by scis0000001 on 2007-05-23 00:42:06 as ** along with 1 person Scis0000002
  • Falaco Solitons, Cosmic Strings in a Swimming Pool
    ArXiv General Relativity and Quantum Cosmology e-prints (January 2001)
    by RM Kiehn
    posted to oscillons solitons topological-defect topological-defects by scis0000001 on 2007-05-23 00:31:43 as **
  • Noncommutative geometry, topology, and the standard model vacuum
    Journal of Mathematical Physics, Vol. 47, No. 11. (2006)
    by Dawe RA Martins
    posted to noncommutative quantum-vacuum standard-model by scis0000001 on 2007-05-23 00:29:04 as **
    • Note: You may cite this page as: http://www.citeulike.org/user/mstone/watchlist

    Result page: 1 2 3 4 5 6 7 8 9 10 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.