Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

Details 詳細情報について

• CRID

  1360574095165817216

• NII Article ID

  30014763219

• DOI

  10.1016/1385-7258(72)90034-0

• ISSN

  13857258

• Web Site

  https://api.elsevier.com/content/article/PII:1385725872900340?httpAccept=text/xml

  https://api.elsevier.com/content/article/PII:1385725872900340?httpAccept=text/plain

• Data Source

  • Crossref
  • CiNii Articles