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

bonotake library [21 articles]

最近 bonotake さんのライブラリ .
  • Types as Theories
    (1991), pp. 357-390.
    by Joseph Goguen
    edited by George M Reed, Andrew W Roscoe, Ralph F Wachter
    posted to category-theory type-theory by bonotake on 2007-03-07 03:00:07 as read along with 2 people scis0000001 marcinzalewski
  • A Categorical Manifesto
    Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67.
    by Joseph A Goguen
    posted to category-theory by bonotake on 2007-03-06 11:26:31 as read along with 11 people and 1 group ansobol jrw scis0000001 pilho rgb kaqui ajk artur masteraka popx marcinzalewski pileWorks
  • Closed Freyd- and $κ$-Categories
    Vol. 1644 (1999), pp. 625-634.
    by John Power, Hayo Thielecke
    edited by J Wiedermann, van Emde, M Nielsen
    posted to category-theory haskell by bonotake on 2006-02-19 14:21:28 as ** along with 1 person msakai
  • Object Interaction
    (1992), pp. 200-208.
    by Jose F Costa, Amilcar Sernadas, Cristina Sernadas, Hans D Ehrich
    posted to category-theory concurrency institution by bonotake on 2006-02-09 23:07:47 as **** along with 2 people and 1 group mahler scis0000001 Rightscom
  • Petri nets, algebras, morphisms and compositionality
    Information and Computation, Vol. 72, No. 3. (March 1987), pp. 167-179.
    by G Winskel
    posted to category-theory concurrency institution by bonotake on 2006-02-09 23:04:30 as ****
  • Institutions: abstract model theory for specification and programming
    J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146.
    by Joseph A Goguen, Rod M Burstall
    posted to category-theory institution specification by bonotake on 2006-02-05 17:14:42 as **** along with 7 people and 1 group Scis0000002 marcinzalewski mahler msakai adrian_pigors scis0000001 masteraka Rightscom
  • Type Classes with Functional Dependencies
    Lecture Notes in Computer Science, Vol. 1782 (2000)
    by Mark P Jones
    posted to haskell type-classes types by bonotake on 2006-02-05 16:54:07 as ** along with 10 people and 3 groups huitseeker twleung dherman greenrd cedricboidin msakai tov calvins BMeph jimburton NU-PRL SRG_at_UCD Lambda the Ultimate
  • Associated types with class
    (2005), pp. 1-13.
    by Manuel MT Chakravarty, Gabriele Keller, Simon P Jones, Simon Marlow
    posted to haskell type-classes by bonotake on 2006-02-05 16:52:03 as ** along with 10 people and 2 groups jpbernardy samth greenrd zednenem bec voigt msakai spl gkuan americovargas NU-PRL SRG_at_UCD
  • A compositional approach to statecharts semantics
    Vol. 25, No. 6. (November 2000), pp. 120-129.
    by Gerald L&\#252;ttgen, Michael von der Beeck, Rance Cleaveland
    posted to semantics by bonotake on 2006-02-05 16:31:53 as ** along with 1 person leonardo
  • Categorical Logic and Type Theory
    (01 December 1998)
    by B Jacobs
    posted to category-theory logic type-theory by bonotake on 2006-02-05 16:30:32 as ** along with 2 people and 1 group mahler msakai Rightscom
  • Types and Programming Languages
    (01 March 2002)
    by Benjamin C Pierce
    posted to type-theory by bonotake on 2006-02-05 16:29:12 as read along with 16 people and 2 groups shimomura jasmithoffice eaubin greenrd sstrickl cedricboidin dsilva voigt msakai iga AndreasSchropp cogumbreiro beschmi robotact srccheck jimburton SRG_at_UCD Lambda the Ultimate
  • Computational lambda-calculus and monads
    Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
    by E Moggi
    posted to category-theory monad by bonotake on 2006-02-05 16:26:31 as ** along with 8 people and 1 group JeffreyPalmer voigt msakai dmitri83 aleks EdwardKmett Benja mcclurmc Compilers
  • Categories and Computer Science (Cambridge Computer Science Texts)
    (27 August 1992)
    by RFC Walters
    posted to category-theory by bonotake on 2006-02-05 16:25:09 as ** along with 6 people and 1 group ansobol jrw pajoma BarrosH proportional incognito musil
  • Basic Category Theory for Computer Scientists (Foundations of Computing)
    (07 August 1991)
    by Benjamin C Pierce
    posted to category-theory by bonotake on 2006-02-05 16:19:19 as read along with 8 people and 1 group ansobol jrw BarrosH proportional devnull Scis0000002 ds jimburton Lambda the Ultimate
  • Conceptual Mathematics : A First Introduction to Categories
    (09 October 1997)
    by William F Lawvere, Stephen H Schanuel
    posted to category-theory by bonotake on 2006-02-05 15:51:59 as read along with 5 people and 1 group msakai NitinCR rgb kaqui incognito pileWorks
  • notes Categories for the Working Mathematician (Graduate Texts in Mathematics)
    (25 September 1998)
    by Saunders M Lane
    posted to category-theory by bonotake on 2006-02-05 15:51:20 as * along with 11 people and 2 groups ansobol mahler BarrosH msakai aleks mstone NitinCR conal masteraka mmarcus robotact Rightscom Compilers
  • Categories for Types (Cambridge Mathematical Textbooks)
    (27 January 1994)
    by Roy L Crole
    posted to category-theory by bonotake on 2006-02-05 15:42:05 as *** along with 1 person mmarcus
  • Categories for Software Engineering
    (16 May 2004)
    by José L Fiadeiro, Jost L Fiadeiro
    posted to category-theory by bonotake on 2006-02-05 15:40:09 as ***** along with 2 people and 1 group mahler mstone Rightscom
  • The categorical abstract machine
    Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 173-202.
    by G Cousineau, PL Curien
    posted to category-theory by bonotake on 2006-02-05 15:28:44 as ** along with 8 people and 2 groups jespera LeonSmith mahler msakai scis0000001 mstone rgb devnull Rightscom pileWorks
  • Codata and Comonads in Haskell
    (1999)
    by Richard Kieburtz
    posted to monad by bonotake on 2006-02-05 15:19:37 as ** along with 7 people and 2 groups mcclurmc dherman JacquesC greenrd cedricboidin zednenem msakai NU-PRL SRG_at_UCD
  • Initial Algebra Semantics and Continuous Algebras
    J. ACM, Vol. 24, No. 1. (January 1977), pp. 68-95.
    by JA Goguen, JW Thatcher, EG Wagner, JB Wright
    posted to initial-algebras by bonotake on 2006-02-05 15:13:54 as ** along with 4 people and 1 group marcinzalewski dherman msakai ryanc NU-PRL
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/bonotake

    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.