[IEEE 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Chicago, IL, USA (26-29 June 2005)] 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Semantic Subtyping for the p-Calculus

✍ Scribed by Castagna, G.; De Nicola, R.; Varacca, D.

• Book ID: 126650198
• Publisher: IEEE
• Year: 2005
• Weight: 335 KB
• Category: Article
• ISBN-13: 9780769522661
• DOI: 10.1109/LICS.2005.46