Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Salvo, Ivano - Dipartimento di Informatica, Università di Roma "La Sapienza"
A Characterization of Weakly ChurchRosser Abstract Reduction Systems not ChurchRosser
Electronic Notes in Theoretical Computer Science 50 No. 2 (2001) URL: http://www.elsevier.nl/locate/entcs/volume50.html 19 pages
Security Types for Mobile Safe Ambients ? M. DezaniCiancaglini, I. Salvo
Electronic Notes in Theoretical Computer Science 62 (2001) URL: http://www.elsevier.nl/locate/entcs/volume62.html http://www.elsevier.nl/locate/entcs/volume62.html
Under consideration for publication in Math. Struct. in Comp. Science Intersection Types and -definability
