Registrati | Log in | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: Lambda the Ultimate - with tag category-theory [8 articles]

Recent papers posted by members of the Lambda the Ultimate group with tag category-theory
  • A Categorial Manifesto
    posted to category-theory by namin to the group Lambda the Ultimate on 2008-08-08 16:37:31 as ** along with 3 people msakai darinm draganigajic
  • Monads for functional programming
    (1993)
    by Philip Wadler
    edited by ~broy
    posted to category-theory haskell monads programming theory by namin to the group Lambda the Ultimate on 2008-05-18 07:33:32 as ** along with 20 people and 3 groups draganigajic JeffreyPalmer cedricboidin grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds conal ariels cdiggins hayeah SamB mmarcus americovargas pedagand SRL SIG functional programming
  • An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming
    by Jonathan MD Hill, Keith Clarke
    posted to category-theory monads by namin to the group Lambda the Ultimate on 2008-04-04 10:45:58 as ** along with 9 people draganigajic ansobol jrw zednenem proportional jutaro glaubersp mathcoq ps_ttf
  • Category Theory in COQ
    (1998)
    by A Carvalho
    posted to category-theory coq type-theory by mcclurmc to the group Lambda the Ultimate on 2008-04-02 15:10:35 as ** along with 3 people scis0000001 Scis0000002 christiankissig
  • Syntax and Semantics of Dependent Types
    Vol. 14 (1997), pp. 79-130.
    by Martin Hofmann
    edited by AM Pitts, P Dybjer
    posted to category-theory dependent-types semantics type-theory by mcclurmc to the group Lambda the Ultimate on 2008-04-02 15:03:17 as ** along with 2 people draganigajic jimburton
  • The groupoid interpretation of type theory
    (1995)
    by M Hofmann, T Streicher
    posted to category-theory type-theory by mcclurmc to the group Lambda the Ultimate on 2008-04-02 15:02:05 as ** along with 3 people draganigajic Scis0000002 huitseeker
  • Relating Categorical Semantics for Intuitionistic Linear Logic
    No. CSR-01-7. (2001)
    by Maria E Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter
    posted to category-theory linear-logic by mcclurmc to the group Lambda the Ultimate on 2008-02-29 19:07:17 as **** along with 1 person vcvpaiva
  • A Categorical Analysis of Multi-Level Languages (Extended Abstract)
    (1998)
    by Zine E Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard
    posted to category-theory semantics by mcclurmc to the group Lambda the Ultimate on 2008-02-29 19:06:47 as *** along with 1 person draganigajic
    • Puoi citare questa pagina come: http://www.citeulike.org/group/4254/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.