Evaluation is MSOL-compatible

DOI10.4230/LIPICS.FSTTCS.2013.103MaRDI QIDQ2963901zbMATH OpenOpenAlexFDO

Authors S. Salvati, Igor Walukiewicz

Publication date 21 February 2017

Full work available at URL https://hal.inria.fr/hal-00773126

zbMATH Keywords

monadic second-order logicsimply typed \(\lambda Y\)-calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• The evaluation of first-order substitution is monadic second-order compatible
• A model for behavioural properties of higher-order programs
• Models of \(\lambda\)-calculus and the weak MSO logic

Cited in

(5)

• A model for behavioural properties of higher-order programs
• Evaluation of an MSO-Solver
• Models of \(\lambda\)-calculus and the weak MSO logic
• The evaluation of first-order substitution is monadic second-order compatible
• Visibly pushdown modular games

This page was built for publication: Evaluation is MSOL-compatible

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