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

robotact category_theory [3 articles]

最近 robotact さんのライブラリに追加された論文の中から タグ category_theory. You can also see everyone's category_theory.
  • Physics, topology, logic and computation: a Rosetta Stone
    (2008)
    by John Baez, Mike Stay
    posted to category_theory curry-howard formal_semantics by robotact on 2008-04-15 18:00:05 as ****
  • Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
    (28 April 2006)
    by Robert Goldblatt
  • Categories for the Working Mathematician (Graduate Texts in Mathematics)
    (25 September 1998)
    by Saunders M Lane
  • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/robotact/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.