Positive inductive-recursive definitions
- Neil Ghani
- , Fredrik Nordvall Forsberg
- , Lorenzo Malatesta
Research output: Contribution to journal › Article › peer-review
4
Link opens in a new tab
Citations
(Scopus)
91
Downloads
(Pure)