• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book chapter

Strong normalization and confluence for reflexive combinatory logic

P. 228-238.

In book

Beklemishev L. D., Queiroz R. d. Vol. 6642. NY: Springer, 2011.