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

Author

Jensen, Casper

Term

4. term

Education

Computer Science, Master

Publication year

2013

Submitted on

2013-06-06

Pages

43

Documents

Download
View record in AAU Student Projects