Showing 1 - 2 results of 2 for search '(("using computational in computing program") OR ("using computation from language programming"))~', query time: 1.23s Refine Results
1
... in formal languages and implementations. This work investigates the nominal alpha-equivalence with...
Access document
Doctoral thesis
Export CSV Export RIS