Categorical Models for Simply Typed Resource Calculi - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Categorical Models for Simply Typed Resource Calculi

Antonio Bucciarelli
  • Fonction : Auteur
  • PersonId : 840133
Preuves, Programmes et Systèmes
Thomas Ehrhard
Preuves, Programmes et Systèmes
Giulio Manzonetto
Laboratoire d'Informatique de Paris-Nord

Domaines

Logique en informatique [cs.LO]

Thomas Ehrhard  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00527229

Soumis le : lundi 18 octobre 2010-15:26:59

Dernière modification le : vendredi 24 mars 2023-14:52:53

Fichier non déposé

Dates et versions

hal-00527229 , version 1 (18-10-2010)

Identifiants

  • HAL Id : hal-00527229 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 UNIV-PARIS13 PPS CNRS LIPN GALILE SORBONNE-PARIS-NORD
45 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More