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