新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

zednenem category-theory [9 articles]

最近 zednenem さんのライブラリに追加された論文の中から タグ category-theory. You can also see everyone's category-theory.
  • The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
    Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 437-458.
    by Martin Hyland, John Power
    posted to category-theory effects lawvere-theories monads by zednenem on 2007-10-11 02:22:10 as read along with 6 people madhadron Scis0000002 vishpool masteraka mmarcus ps_ttf
  • Category Theory as Coherently Constructive Lattice Theory: An Illustration
    No. 94-43. (1994)
    by Roland Backhouse, Marcel Bijsterveld
    posted to category-theory lattices by zednenem on 2007-04-03 06:01:59 as ** along with 3 people ansobol jrw scis0000001
  • An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming
    by Jonathan MD Hill, Keith Clarke
    posted to category-theory fp haskell monads by zednenem on 2007-03-28 02:36:39 as read along with 9 people and 1 group draganigajic ansobol jrw proportional jutaro glaubersp mathcoq ps_ttf namin Lambda the Ultimate
  • Computational Comonads and Intensional Semantics
    Vol. 177 (1992), pp. 1-44.
    by Stephen Brookes, Shai Geva
    edited by MP Fourman, PT Johnstone, AM Pitts
    posted to category-theory comonads haskell semantics by zednenem on 2006-08-24 07:24:39 as *** along with 6 people and 1 group dherman jrw msakai dmitri83 EdwardKmett meiersi NU-PRL
  • Arrows, like Monads, are Monoids
    Electronic Notes in Theoretical Computer Science, Vol. 158 (5 May 2006), pp. 219-236.
    by Chris Heunen, Bart Jacobs
    posted to arrows category-theory monads by zednenem on 2006-08-08 00:22:04 as read along with 5 people and 1 group jrw oryp6518 mstone rgb cognominal pileWorks
  • Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation
    Thirty Five Years of Automating Mathematics (2003)
    by Gérard Huet
    edited by Fairouz Kamareddine
    posted to category-theory continuations zippers by zednenem on 2005-08-25 23:49:37 as read along with 5 people and 3 groups dherman eaubin JacquesC EdwardKmett namin NU-PRL functional programming Lambda the Ultimate
  • Categorical Logic
    (2001)
    by Andrew M Pitts
    edited by S Abramsky, DM Gabbay, TSE Maibaum
    posted to category-theory logic by zednenem on 2005-08-16 05:26:43 as **** along with 16 people and 4 groups dalev jrw tautologico wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer mmarcus ps_ttf NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup
  • A Monadic Categorical Semantics for Threads
    by Jonathan Sobel, Steven E Ganz, Daniel P Friedman, Mitchell Wand
    posted to category-theory concurrency monads by zednenem on 2005-08-05 19:01:41 as ** along with 8 people and 1 group dalev jrw bfraser dmitri83 EdwardKmett jsala neuralwarp ps_ttf NU-PRL
  • Comprehending Queries
    (1999)
    by T Grust
    posted to category-theory monads query by zednenem on 2005-07-31 19:14:30 as ** along with 2 people and 1 group mahler AndreasSchropp Rightscom
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/zednenem/tag/category-theory

    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.