The Seal Calculus

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00152521
Contributor : Giuseppe Castagna <>
Submitted on : Thursday, June 7, 2007 - 9:45:13 AM
Last modification on : Friday, May 25, 2018 - 12:02:03 PM

Identifiers

  • HAL Id : hal-00152521, version 1

Collections

Citation

Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli. The Seal Calculus. Information and Computation, Elsevier, 2005, 201 (1), pp.1-54. ⟨hal-00152521⟩

Share

Metrics

Record views

206