A Semantic Approach to Illative Combinatory Logic

DOI10.4230/LIPICS.CSL.2011.174zbMath1247.03021OpenAlexW2254253186MaRDI QIDQ2915681

Łukasz Czajka

Publication date: 18 September 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_4edd.html

zbMATH Keywords

first-order logicterm rewritingillative combinatory logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Unnamed Item

This page was built for publication: A Semantic Approach to Illative Combinatory Logic