Sequential products for effects

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00388686
Contributor : Dominique Duval <>
Submitted on : Wednesday, May 27, 2009 - 10:21:55 AM
Last modification on : Thursday, July 4, 2019 - 9:54:02 AM

Identifiers

  • HAL Id : hal-00388686, version 1

Collections

Citation

Dominique Duval, Jean-Guillaume Dumas, Jean-Claude Reynaud. Sequential products for effects. ACCAT'09 - Applied and Computational Category Theory, Mar 2009, York, United Kingdom. ⟨hal-00388686⟩

Share

Metrics

Record views

138