A Dialectica-like interpretation of a linear MSO on infinite words

DOI10.1007/978-3-030-17127-8_27zbMATH Open1429.03214OpenAlexW2901510764MaRDI QIDQ2289098FDOQ2289098

Authors: Pierre Pradic, Colin Riba 

Publication date: 28 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-17127-8_27

Recommendations

• LMSO: a Curry-Howard approach to Church's synthesis via linear logic
• scientific article; zbMATH DE number 7147442
• scientific article; zbMATH DE number 7204449
• A game semantics for linear logic
• A complete axiomatization of MSO on infinite trees

zbMATH Keywords

linear logicDialectica interpretationMSO on infinite words

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Higher-order logic (03B16) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (2)

• Monoidal-closed categories of tree automata
• LMSO: a Curry-Howard approach to Church's synthesis via linear logic

This page was built for publication: A Dialectica-like interpretation of a linear MSO on infinite words

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