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