Normalization properties of -calculus using realizability semantics

MaRDI QIDQ7304575zbMATH OpenFDO

Authors Péter Battyányi, Karim Nour

Publication date 27 July 2026

Published in Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (Search for Journal in Brave)

Full work available at URL https://www.collegepublications.co.uk/downloads/ifcolog00078.pdf#section*.6

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42)

This page was built for publication: Normalization properties of \(\lambda\mu\)-calculus using realizability semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7304575)