Hybrid Logical Analyses of the Ambient Calculus
Type
Conference paper [With referee]
Conference
Lecture Notes in Computer Science
Year
2007
Vol.
4576
pp.
83-100
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering