Evaluation is MSOL-compatible

DOI10.4230/LIPICS.FSTTCS.2013.103zbMATH Open1359.03015OpenAlexW1514149009MaRDI QIDQ2963901FDOQ2963901

Authors: S. Salvati, Igor Walukiewicz 

Publication date: 21 February 2017

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

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

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)

Cited In (6)

• The evaluation of first-order substitution is monadic second-order compatible
• Models of \(\lambda\)-calculus and the weak MSO logic
• Typing Weak MSOL Properties
• Evaluation of an MSO-Solver
• A model for behavioural properties of higher-order programs
• 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)