AAU Student Projects - visit Aalborg University's student projects portal
A master's thesis from Aalborg University
Book cover


Developing a type inference algorithm for The Ambient Calculus with Kill

Translated title

Author

Term

4. term

Education

Computer Science, Master

Publication year

2013

Submitted on

Pages

43

Documents

Download
View record in AAU Student Projects