On General Methods for Proving Reduction Properties of Typed Lambda Terms (Proof theoretical study of the structure of logic and computation)

Access this Article

Search this Article

Author(s)

Journal

  • RIMS Kokyuroku

    RIMS Kokyuroku 1635, 33-50, 2009-04

    Kyoto University

Codes

  • NII Article ID (NAID)
    110007050195
  • NII NACSIS-CAT ID (NCID)
    AN00061013
  • Text Lang
    ENG
  • Article Type
    特集
  • Journal Type
    大学紀要
  • ISSN
    18802818
  • NDL Article ID
    10220344
  • NDL Source Classification
    ZM31(科学技術--数学)
  • NDL Call No.
    Z43-1336
  • Data Source
    NDL  NII-ELS  IR 
Page Top