LambdaY-calculus with priorities

DOI10.5555/3470152.3470172MaRDI QIDQ6654485FDOQ6654485

Authors: Igor Walukiewicz 

Publication date: 19 December 2024

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

Mathematics Subject Classification ID

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

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)