Similar Items: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
- Higher-Order Asynchronous Effects
- Decidability of higher-order matching
- Decidability Results for the Boundedness Problem
- Distributed Asynchronous Games With Causal Memory are Undecidable
- Extensional Semantics for Higher-Order Logic Programs with Negation
- On the Termination Problem for Probabilistic Higher-Order Recursive Programs