Strong Normalization and Confluence for Reflexive Combinatory Logic

DOI10.1007/978-3-642-20920-8_23zbMath1328.03010OpenAlexW1491731700MaRDI QIDQ3003363

Daniyar Shamkanov

Publication date: 27 May 2011

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20920-8_23

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Strong Normalization and Confluence for Reflexive Combinatory Logic