Developing a type inference algorithm for The Ambient Calculus with Kill
Student thesis: Master thesis (including HD thesis)
- Casper Jensen
4. term, Computer Science, Master (Master Programme)
| Language | English |
|---|---|
| Publication date | 6 Jun 2013 |
| Number of pages | 43 |