- Reduction from Branching-time Property Verification of Higher-order Programs to HFL Validity Checking Keiichi Watanabe Takeshi Tsukada Hiroki Oshikawa Naoki Kobayashi Thu 07 February 2019
- Alternating Parity Krivine Automata Florian Bruse Tue 28 June 2016
Library Size: 13G (2 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
