Skip to Main content Skip to Navigation
New interface
Conference papers

Categorical Models for Simply Typed Resource Calculi

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00527229
Contributor : Thomas Ehrhard Connect in order to contact the contributor
Submitted on : Monday, October 18, 2010 - 3:26:59 PM
Last modification on : Saturday, June 25, 2022 - 8:49:56 PM

Identifiers

  • HAL Id : hal-00527229, version 1

Citation

Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto. Categorical Models for Simply Typed Resource Calculi. 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010), May 2010, Ottawa, Canada. pp.213-230. ⟨hal-00527229⟩

Share

Metrics

Record views

43