A Relational Model of a Parallel and Non-deterministic lambda-Calculus - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

A Relational Model of a Parallel and Non-deterministic lambda-Calculus

Thomas Ehrhard
Preuves, Programmes et Systèmes
Antonio Bucciarelli
  • Fonction : Auteur
  • PersonId : 840133
Preuves, Programmes et Systèmes
Giulio Manzonetto
Mobililty, security, concurrence, verification and analysis

Domaines

Logique en informatique [cs.LO]

Thomas Ehrhard  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00527245

Soumis le : lundi 18 octobre 2010-15:57:55

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

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00527245 , version 1

Citer

Thomas Ehrhard, Antonio Bucciarelli, Giulio Manzonetto. A Relational Model of a Parallel and Non-deterministic lambda-Calculus. Logical Foundations of Computer Science, International Symposium, LFCS 2009, Jan 2009, Deerfield Beach, FL, USA, France. pp.107-121. ⟨hal-00527245⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS INRIA INRIA2 ANR
45 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More