Two Session Typing Systems for Higher-Order Mobile Processes
Extended Abstract with Appendix
(5 January 2007)
[pdf-file]
Proofs and Extensions
Theorem 4.3
[pdf-file]
Extension to Recursion
[pdf-file]
See also
Dimitris Mostrous Page
for the proofs for the first system
Recent the Authors' Papers on Session and Dependent Types cited from the Paper are available from
[link]
Extended Abstract with Appendix (5 January 2007)
[pdf-file]
Proofs and Extensions
Theorem 4.3
[pdf-file]
Extension to Recursion
[pdf-file]
See also
Dimitris Mostrous Page for the proofs for the first system