Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

mmarcus library [21 articles]

Статьи, недавно добавленные в библиотеку mmarcus .
  • Computational Lambda-Calculus and Monads
    (1989), pp. 14-23.
    by Eugenio Moggi
    posted to no-tag by mmarcus on 2008-01-10 19:08:56 as ** along with 7 people and 1 group jrw cedricboidin tautologico pile glaubersp mfrydr ds complogic
  • Notions of Computation and Monads
    Information and Computation, Vol. 93, No. 1. (1991), pp. 55-92.
    by Eugenio Moggi
    posted to no-tag by mmarcus on 2008-01-10 19:07:31 as ** along with 4 people JeffreyPalmer tautologico glaubersp ds
  • A Tutorial on (Co)Algebras and (Co)Induction
    Bulletin of the European Association for Theoretical Computer Science, Vol. 62 (1997), pp. 222-259.
    by Bart Jacobs, Jan Rutten
    posted to no-tag by mmarcus on 2008-01-03 01:04:40 as ** along with 8 people and 1 group tautologico marcinzalewski mahler madhadron brothers cpfr benchambers kalmar Rightscom
  • Categorical Logic
    (2001)
    by Andrew M Pitts
    edited by S Abramsky, DM Gabbay, TSE Maibaum
    posted to no-tag by mmarcus on 2008-01-03 00:21:04 as ** along with 16 people and 4 groups dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer ps_ttf NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup
  • Categories for Types (Cambridge Mathematical Textbooks)
    (27 January 1994)
    by Roy L Crole
    posted to no-tag by mmarcus on 2008-01-02 02:19:53 as ** along with 1 person bonotake
  • 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 no-tag by mmarcus on 2008-01-01 20:02:17 as ** along with 6 people zednenem madhadron Scis0000002 vishpool masteraka ps_ttf
  • Sets for mathematics
    (2003)
    by William F Lawvere, Robert Rosebrugh
    posted to no-tag by mmarcus on 2008-01-01 20:01:38 as ** along with 3 people and 1 group ansobol TooMuchCoffeeMan rgb pileWorks
  • Algebraic Topology
    (15 November 2001)
    by Allen Hatcher
    posted to no-tag by mmarcus on 2008-01-01 06:48:04 as ** along with 3 people ansobol yalding NitinCR
  • Categorification
    (5 Feb 1998)
    by John C Baez, James Dolan
    posted to no-tag by mmarcus on 2008-01-01 06:46:58 as ** along with 5 people ansobol jrw BrendaChng scis0000001 sforcey
  • Categories for the Working Mathematician (Graduate Texts in Mathematics)
    (25 September 1998)
    by Saunders M Lane
    posted to no-tag by mmarcus on 2008-01-01 06:46:32 as ** along with 11 people and 2 groups ansobol mahler BarrosH msakai bonotake aleks mstone NitinCR conal masteraka robotact Rightscom Compilers
  • Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)
    (25 August 1995)
    by Michael Barr, Charles Wells
    posted to no-tag by mmarcus on 2008-01-01 06:44:52 as ** along with 1 person ds
  • Sheaves in Geometry and Logic : A First Introduction to Topos Theory (Universitext)
    (27 October 1994)
    by Saunders Maclane, Ieke Moerdijk
    posted to no-tag by mmarcus on 2008-01-01 06:42:47 as ** along with 2 people and 1 group mahler hhalvors Rightscom
  • Lambda Calculi with Types
    Vol. 2 (1992)
    by Henk Barendregt
    posted to no-tag by mmarcus on 2008-01-01 00:59:31 as ** along with 8 people and 1 group pnkfelix tautologico xiemaisi Benja glaubersp ds jimburton d23 AS-IIS_ReadingGroup
  • From Finite Sets to Feynman Diagrams
    (20 Apr 2000)
    by John C Baez, James Dolan
    posted to no-tag by mmarcus on 2008-01-01 00:58:33 as ** along with 4 people ansobol jrw wnoise BrendaChng
  • Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
    Vol. 523 (1991), pp. 124-144.
    by Erik Meijer, Maarten Fokkinga, Ross Paterson
    edited by J Hughes
    posted to no-tag by mmarcus on 2008-01-01 00:45:51 as ** along with 25 people and 4 groups pedagand dvgb rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins jimburton namin SRL SRG_at_UCD complogic Lambda the Ultimate
  • Leibniz's Definition of Monad
    (12 Aug 2006)
    by SS Kutateladze
    posted to no-tag by mmarcus on 2008-01-01 00:42:18 as ** along with 3 people ansobol jrw proportional
  • Comprehending Monads
    (1990), pp. 61-78.
    by PL Wadler
    posted to no-tag by mmarcus on 2008-01-01 00:41:14 as ** along with 29 people and 2 groups hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin zednenem bfraser ben_moseley scis0000001 msn mstone bunge rgb Benja jsala meiersi jasonmc glaubersp ds conal cdiggins cognominal benchambers kazuya hayeah donniejones18 SRG_at_UCD pileWorks
  • Monads for functional programming
    (1993)
    by Philip Wadler
    edited by ~broy
    posted to no-tag by mmarcus on 2008-01-01 00:40:26 as ** along with 18 people and 4 groups namin JeffreyPalmer cedricboidin grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds conal ariels cdiggins hayeah SamB americovargas Lambda the Ultimate functional programming SRL SIG
  • How to declare an imperative
    ACM Comput. Surv., Vol. 29, No. 3. (September 1997), pp. 240-263.
    by Philip Wadler
    posted to no-tag by mmarcus on 2008-01-01 00:40:05 as ** along with 2 people and 1 group jacob rgb pileWorks
  • Theorems for Free!
    (1989), pp. 347-359.
    by Philip Wadler
    posted to no-tag by mmarcus on 2008-01-01 00:38:27 as ** along with 1 person conal
  • How to make ad-hoc polymorphism less ad-hoc
    (January 1989), pp. 60-76.
    by P Wadler, S Blott
    posted to no-tag by mmarcus on 2008-01-01 00:36:37 as ** along with 1 person SamB
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/mmarcus

    RIS BibTeX RSS
    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.