| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control | Alhabardi, Fahad F. et al. | 2022 |
| 2 | Martin Hofmann's Case for Non-Strictly Positive Data Types | Berger, Ulrich et al. | 2019 |
| 3 | Defining Trace Semantics for CSP-Agda | Igried, Bashar et al. | 2018 |
| 4 | Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version) | Setzer, Anton et al. | 2005 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 4 |