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

jff Nordstr{ö}m [15 articles]

Recent papers posted to jff library by the author Nordstr{ö}m. You can also see Nordstr{ö}m everyone.
  • The Strength of the Subset Type in Intuitionistic Type Theory
    (June 1987), pp. 327-332.
    by A Salvesen, JM Smith
    edited by P Dybjer, B Nordström, K Petersson, JM Smith
    posted to rcb-bibfile by jff on 2008-05-07 12:57:41 as **
  • Subsets in Intuitionistic Type Theory
    (June 1987)
    by K Petersson
    edited by P Dybjer, B Nordström, K Petersson, JM Smith
    posted to rcb-bibfile by jff on 2008-05-07 12:57:39 as **
  • An Example of Algorithm Development in the Calculus of Constructions: Binary Search for the Computation of the Lambo Function
    (June 1987), pp. 123-135.
    by Paulin C Mohring
    edited by P Dybjer, B Nordström, K Petersson, JM Smith
    posted to rcb-bibfile by jff on 2008-05-07 12:57:39 as **
  • Programming in Martin-Löf's Type Theory: An Introduction
    (1990)
    by B Nordström, K Petersson, J Smith
    posted to rcb-bibfile by jff on 2008-05-07 12:57:39 as **
  • Terminating General Recursion
    (September 1987)
    by B Nordström
    posted to rcb-bibfile by jff on 2008-05-07 12:57:39 as **
  • An Introduction to Martin-Löf's Theory of Types
    (1986)
    by B Nordström, K Petersson, J Smith
    posted to rcb-bibfile by jff on 2008-05-07 12:57:39 as **
  • The Semantics of Module Specifications in Martin-Löf's Type Theory
    No. 36. (October 1985)
    by B Nordström, K Petersson
    posted to rcb-bibfile by jff on 2008-05-07 12:57:39 as **
  • Multilevel Functions in Type Theory
    (1985)
    by B Nordström
    edited by N Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:39 as **
  • Propositions and Specifications of Programs in Martin-Löf's Type Theory
    BIT, Vol. 24 (1984), pp. 288-301.
    by B Nordström, J Smith
    posted to rcb-bibfile by jff on 2008-05-07 12:57:39 as **
  • Types and Specifications
    (1983), pp. 915-920.
    by B Nordström, K Petersson
    edited by RE Mason
    posted to rcb-bibfile by jff on 2008-05-07 12:57:39 as **
  • Programming in Constructive Set Theory: Some Examples
    (1981)
    by B Nordström
    posted to rcb-bibfile by jff on 2008-05-07 12:57:39 as **
  • Strong Elimination Rules in Type Theory
    (June 1987), pp. 112-115.
    by R Dyckhoff
    edited by P Dybjer, B Nordström, K Petersson, JM Smith
    posted to rcb-bibfile by jff on 2008-05-07 12:57:27 as **
  • Proceedings of the Workshop on Programming Logic
    (October 1987)
    edited by Peter Dybjer, Bengt Nordström, Kent Petersson, Jan M Smith
    posted to rcb-bibfile by jff on 2008-05-07 12:57:27 as **
  • Overcoming The Mismatch Between Programs and Proofs
    (June 1987), pp. 116-122.
    by RC Backhouse
    edited by P Dybjer, B Nordström, K Petersson, JM Smith
    posted to rcb-bibfile by jff on 2008-05-07 12:57:17 as **
  • Using Typed Lambda Calculus to Implement Formal Systems on a Machine
    (June 1987), pp. 336-373.
    by A Avron, FA Honsell, IA Mason
    edited by P Dybjer, B Nordström, K Petersson, JM Smith
    posted to rcb-bibfile by jff on 2008-05-07 12:57:16 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/jff/author/Nordstr{ö}m

    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.