[Updated on July 12] Integration of CiNii Articles into CiNii Research from April 1, 2022

Strong normalization of program-indexed lambda calculus

Bibliographic Information

Title
Strong normalization of program-indexed lambda calculus
Author
Norihiro Kamide

Journal

Citations (0)

See more

References(0)

See more

Articles

See more

Research Data

See more

Books

See more

Dissertations

See more

Research Projects

See more

Products

See more

Details

  • CRID
    1010282257030954885
  • Article Type
    journal article
  • Data Source
    • KAKEN
Back to top