M. Coppo and E. Giovannetti
Prolog implementation of type inference algorithms for mobile ambients
Internal report, June 2003
[
bib
|
.pdf
]
Back
This file has been generated by
bibtex2html
1.43