On semantics of a term calculus for classical logic

DOI10.2298/PIM1206079LzbMath1313.03003OpenAlexW2068291943MaRDI QIDQ2929866

Silvia Likavec, Pierre Lescanne

Publication date: 14 November 2014

Published in: Publications de l'Institut Math?matique (Belgrade), Publications de l'Institut Mathématique. Nouvelle Série (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2298/pim1206079l

zbMATH Keywords

confluencelambda calculuscontinuation semantics

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

This page was built for publication: On semantics of a term calculus for classical logic