On the Relations between the Syntactic Theories of $\lambda\mu$-Calculi

Alexis Saurin

doi:10.1007/978-3-540-87531-4_13

Conference Papers Year : 2008

On the Relations between the Syntactic Theories of $\lambda\mu$-Calculi

(1, 2)

1
2

Alexis Saurin

Function : Author
PersonId : 16833
IdHAL : alexis-saurin
IdRef : 233760210

Laboratoire d'informatique de l'École polytechnique [Palaiseau]

Proof search and reasoning with logic specifications

Domains

Logic in Computer Science [cs.LO] Programming Languages [cs.PL]

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

Dates and versions

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

Identifiers

HAL Id : hal-00527930 , version 1
DOI : 10.1007/978-3-540-87531-4_13

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X PPS CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2

160 View

0 Download

On the Relations between the Syntactic Theories of $\lambda\mu$-Calculi

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share