LambdaY-calculus with priorities

DOI10.5555/3470152.3470172MaRDI QIDQ6654485zbMATH OpenFDO

Authors Igor Walukiewicz

Publication date 19 December 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)

Recommendations

• Higher-order parity automata
• Mathematical Foundations of Computer Science 2005
• A model for behavioural properties of higher-order programs
• The Complexity of Model Checking Higher-Order Fixpoint Logic
• Finitary semantics of linear logic and higher-order model-checking

This page was built for publication: LambdaY-calculus with priorities

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