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

kozima lambda-calculi [14 articles]

Recent papers added to kozima library classified by the tag lambda-calculi. You can also see everyone's lambda-calculi.
  • Linear logic, monads and the lambda calculus
    (# jul 1996)
    by N Benton, P Wadler
    posted to monads linear-logic lambda-calculi by kozima on 2008-05-28 16:12:31 as ** along with 4 people and 1 group dherman tautologico glaubersp ds NU-PRL
  • A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract)
    (1994), pp. 121-135.
    by PN Benton
    posted to linear-logic lambda-calculi category by kozima on 2008-05-28 16:08:43 as ** along with 1 person msakai
  • Logical modalities and multi-stage programming
    (1999)
    by Z Benaissa, E Moggi, W Taha, T Sheard
    posted to temporal-logic modal-logic lambda-calculi category by kozima on 2008-05-21 07:03:04 as **
  • On the Geometry of Intuitionistic S4 Proofs
    Homology, Homotopy and Applications, Vol. 5, No. 2. (2003), pp. 137-209.
    by J Goubault-Larrecq, E Goubault
    edited by Gunnar Carlsson
    posted to lambda-calculi modal-logic by kozima on 2008-04-19 06:12:27 as ** along with 2 people jrw dmitri83
  • A computational interpretation of modal proofs
    (1995)
    by S Martini, A Masini
    edited by H Wansing
    posted to lambda-calculi modal-logic by kozima on 2008-04-04 15:03:49 as **
  • A modal type system for multi-level generating extensions with persistent code
    (2006), pp. 201-212.
    by Yosihiro Yuse, Atsushi Igarashi
    posted to lambda-calculi modal-logic temporal-logic by kozima on 2007-11-30 06:58:28 as read along with 1 person msakai
  • Monad as modality
    Theoretical Computer Science, Vol. 175, No. 1. (1997), pp. 29-74.
    by Satoshi Kobayashi
    posted to category lambda-calculi modal-logic by kozima on 2007-11-17 07:50:40 as read
  • A Temporal-Logic Approach to Binding-Time Analysis
    (1996), pp. 184-195.
    by Rowan Davies
    posted to lambda-calculi modal-logic temporal-logic by kozima on 2007-11-11 04:28:45 as read
  • A Modal Analysis of Staged Computation
    (1996), pp. 258-270.
    by Rowan Davies, Frank Pfenning
    posted to lambda-calculi modal-logic by kozima on 2007-11-11 04:27:59 as read
  • Girard translation and logical predicates
    Journal of Functional Programming, Vol. 10 (2000), pp. 77-89.
    by M Hasegawa
    posted to lambda-calculi parametricity by kozima on 2007-01-07 07:10:14 as read
  • Definierbare Funktionen im Lambda-Kalkul mit Typen
    Archiv Logik Grundlagenforsch, Vol. 17 (1976), pp. 113-114.
    by H Schwichtenberg
    posted to lambda-calculi by kozima on 2006-05-11 06:42:02 as read
  • Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi
    (1997), pp. 196-213.
    by Masahito Hasegawa
    posted to category lambda-calculi by kozima on 2006-03-23 02:01:54 as ** along with 1 person iga
  • A core calculus of dependency
    (1999), pp. 147-160.
    by Mart∈ Abadi, Anindya Banerjee, Nevin Heintze, Jon G Riecke
    edited by M Ac
    posted to dependency lambda-calculi modal-logic by kozima on 2006-02-12 09:09:07 as ** along with 5 people amorkan kontakte scavadini mrkoot tesissvc
  • Translating Dependency into Parametricity
    by Stephen T Steve
    posted to dependency lambda-calculi modal-logic parametricity by kozima on 2006-02-02 12:08:09 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/kozima/tag/lambda-calculi

    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.