Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

msakai's Hofmann [6 articles]

Recent papers posted to msakai's library by the author Hofmann. You can also see everyone's Hofmann.
  • Syntax and Semantics of Dependent Types
    Vol. 14 (1997), pp. 79-130.
    by Martin Hofmann
    edited by AM Pitts, P Dybjer
    posted to type-theory by msakai on 2008-08-05 14:26:29 as ** along with 3 people and 1 group tautologico rysavy xiemaisi AS-IIS_ReadingGroup
  • A simple model for quotient types
    Typed Lambda Calculi and Applications (1995), pp. 216-234.
    by Martin Hofmann
    posted to type-theory by msakai on 2008-06-01 02:38:33 as read
  • On the Interpretation of Type Theory in Locally Cartesian Closed Categories
    (1994), pp. 427-441.
    by Martin Hofmann
    posted to category-theory type-theory by msakai on 2008-03-30 23:07:11 as **
  • A Type System for Bounded Space and Functional In-Place Update--Extended Abstract
    Lecture Notes in Computer Science, Vol. 1782 (2000), pp. 165-??.
    by Martin Hofmann
    posted to complexity type-theory by msakai on 2008-01-24 10:01:01 as **
  • On the Interpretation of Type Theory in Locally Cartesian Closed Categories
    (1994), pp. 427-441.
    by Martin Hofmann
    posted to type-theory by msakai on 2007-09-03 11:15:44 as ** along with 1 person jrw
  • The groupoid model refutes uniqueness of identity proofs
    Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on (1994), pp. 208-212.
    by M Hofmann, T Streicher
    posted to type-theory by msakai on 2006-04-26 11:20:54 as read
    • Note: You may cite this page as: http://www.citeulike.org/user/msakai/author/Hofmann

    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.