| No. | Title | Author | Year |
|---|---|---|---|
| 1 | A Cyclic Proof System for HFL_ℕ | Kori, Mayuko et al. | 2021 |
| 2 | Output Without Delay: A π-Calculus Compatible with Categorical Semantics | Sakayori, Ken et al. | 2021 |
| 3 | A Probabilistic Higher-Order Fixpoint Logic | Mitani, Yo et al. | 2020 |
| 4 | On Average-Case Hardness of Higher-Order Model Checking | Nakamura, Yoshiki et al. | 2020 |
| 5 | Streett Automata Model Checking of Higher-Order Recursion Schemes | Suzuki, Ryota et al. | 2017 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 5 |