Communication Dans Un Congrès
Année : 2008
Alexis Saurin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00527930
Soumis le : mercredi 20 octobre 2010-16:09:12
Dernière modification le : vendredi 24 mars 2023-14:52:53
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