On the Relations between the Syntactic Theories of $\lambda\mu$-Calculi - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Dates et versions

hal-00527930 , version 1 (20-10-2010)

Identifiants

Citer

Alexis Saurin. On the Relations between the Syntactic Theories of $\lambda\mu$-Calculi. 17th EACSL Annual Conference on Computer Science Logic - CSL 2008, Sep 2008, Bertinoro, Italy. pp.154-168, ⟨10.1007/978-3-540-87531-4_13⟩. ⟨hal-00527930⟩
160 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More