Beta Reduction Constraints.
Research output: Contribution to conferences › Paper › Contributed › peer-review
Contributors
Details
Original language | Undefined |
---|---|
Pages | 31-46 |
Publication status | Published - 2001 |
Peer-reviewed | Yes |
Externally published | Yes |
External IDs
Scopus | 84888209444 |
---|---|
ORCID | /0000-0001-8228-3611/work/142241126 |