DIPARTIMENTO   DI   INFORMATICA
Università di Torino

Type Inference for M3 Mobile Ambients

This page demonstrates a prototypal implementation of a type system for the ambient calculs M3
[Coppo, Dezani-Ciancaglini, Giovannetti, Salvo, 2003].

The current version (released in October 2003, developed by E. Giovannetti):

Type a term, terminated by a semicolon, in the field below, then press the button.

Here you can find a description of the accepted SYNTAX and some EXAMPLES that you can copy and paste.



BIBLIOGRAPHY



[On-line tools demonstrations]