• DocumentCode
    3783683
  • Title

    Toward a reduction system commuting with beta reduction in the partial lambda calculus

  • Author

    S. Gaborovic

  • Author_Institution
    Fac. of Civ. Eng., Maribor Univ., Slovenia
  • fYear
    2001
  • fDate
    6/23/1905 12:00:00 AM
  • Firstpage
    387
  • Abstract
    We imposed directionality in the relation assigning to restriction in the partial lambda calculus to obtain a reduction system. Investigation of such reduction systems gave some results concerning confluence in the past which we believe can be sharpened.
  • Keywords
    "Calculus","Postal services"
  • Publisher
    ieee
  • Conference_Titel
    Information Technology Interfaces, 2001. ITI 2001. Proceedings of the 23rd International Conference on
  • ISSN
    1330-1012
  • Print_ISBN
    953-96769-3-2
  • Type

    conf

  • DOI
    10.1109/ITI.2001.938046
  • Filename
    938046
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3783683