Automata, Logic and Games for the \lambda -Calculus

DOI10.1007/978-3-662-54069-5_3MaRDI QIDQ5224488zbMATH OpenOpenAlexFDO

Authors

Publication date 24 July 2019

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-54069-5_3

Mathematics Subject Classification ID

Applications of game theory (91A80) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)

Cites work

• scientific article; zbMATH DE number 2087432 (Why is no real title available?)
• A type-directed abstraction refinement approach to higher-order model checking
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• An automata theoretic decision procedure for the propositional mu- calculus
• An automata-theoretic approach to branching-time model checking
• Automata, logics, and infinite games. A guide to current research
• Böhm trees as higher-order recursion schemes
• Compositional higher-order model checking via \(\omega\)-regular games over Böhm trees
• Dependency Tree Automata
• Higher-order model checking: an overview
• Model checking higher-order programs
• Pushdown processes: Games and model-checking
• Verifying higher-order functional programs with pattern-matching algebraic data types

Cited in

(4)

• Alternating tree automata, parity games, and modal \(\mu\)-calculus
• scientific article; zbMATH DE number 4041274 (Why is no real title available?)
• Logic and games on automatic structures. Playing with quantifiers and decompositions
• Strong normalization from an unusual point of view

Describes a project that uses

Uses Software

• MoCHi

This page was built for publication: Automata, Logic and Games for the $$\lambda $$ -Calculus

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