Axiomatizing the Quote

DOI10.4230/LIPICS.CSL.2011.458zbMath1247.03022OpenAlexW2241639549MaRDI QIDQ2915703

Andrew Polonsky

Publication date: 18 September 2012

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

zbMATH Keywords

enumeratorlambda calculuscombinatory logicquote operator

Mathematics Subject Classification ID

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

Related Items (5)

On sets of terms having a given intersection type ⋮ Fixed points in lambda calculus. an eccentric survey of problems and solutions ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Axiomatizing the Quote