Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation

DOI10.1002/MALQ.19910373306zbMath0759.03010OpenAlexW2068270584MaRDI QIDQ4031104

A. A. Kuzichev

Publication date: 1 April 1993

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19910373306

zbMATH Keywords

lambda calculusChurch-Rosser propertylambda conversioncombinatorially complete deductive systemsconservative extension of formal arithmeticnon-standard models of formal arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation