Conference Papers
Year : 2008
Alexis Saurin : Connect in order to contact the contributor
https://hal.science/hal-00527930
Submitted on : Wednesday, October 20, 2010-4:09:12 PM
Last modification on : Friday, March 24, 2023-2:52:53 PM
Cite
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⟩
161
View
0
Download