Register | Log in | FAQ      [?] 

Tag explicit-subs [5 articles]

Recent papers classified by the tag explicit-subs.
  • Explicit substitution for linear logical frameworks
    by I Cervesato, V de Paiva, E Ritter
    posted to explicit-subs linear logic by vcvpaiva on 2005-11-19 17:07:30 as read
  • Explicit Substitutitions for Constructive Necessity
    by Neil Ghani, Valeria de Paiva, Eike Ritter
    posted to explicit-subs logic modal by vcvpaiva on 2005-11-19 17:12:44 as read
  • Linear Explicit Subsitutions
    No. CSR-98-2. (March 1998)
    by Neil Ghani, Valeria de Paiva, Eike Ritter
    posted to explicit-subs linear logic by vcvpaiva on 2005-11-19 16:46:53 as read
  • On Explicit Substitutions and Names
    No. CSR-97-5. (March 1997)
    by Eike Ritter, Valeria de Paiva
    posted to explicit-subs logic by vcvpaiva on 2005-11-19 16:47:30 as read
  • Categorical Models of Explicit Substitutions
    (1999), pp. 197-211.
    by Neil Ghani, Valeria de Paiva, Eike Ritter
    posted to categorical explicit-subs own by vcvpaiva on 2005-11-19 17:13:25 as read
    • Note: You may cite this page as: http://www.citeulike.org/tag/explicit-subs

    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.