Standardization and Böhm Trees for $\Lambda\mu$-Calculus

Alexis Saurin

doi:10.1007/978-3-642-12251-4_11

Conference Papers Year : 2010

Standardization and Böhm Trees for $\Lambda\mu$-Calculus

(1, 2)

1
2

Alexis Saurin

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

Preuves, Programmes et Systèmes

Design, study and implementation of languages for proofs and programs

Domains

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

Alexis Saurin : Connect in order to contact the contributor

https://hal.science/hal-00527926

Submitted on : Wednesday, October 20, 2010-4:02:51 PM

Last modification on : Friday, March 24, 2023-2:52:53 PM

Dates and versions

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

Identifiers

HAL Id : hal-00527926 , version 1
DOI : 10.1007/978-3-642-12251-4_11

Cite

Alexis Saurin. Standardization and Böhm Trees for $\Lambda\mu$-Calculus. Tenth International Symposium on Functional and Logic Programming - FLOPS 2010, Apr 2010, Sendai, Japan. pp.134-149, ⟨10.1007/978-3-642-12251-4_11⟩. ⟨hal-00527926⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS INRIA INRIA2

159 View

0 Download

Standardization and Böhm Trees for $\Lambda\mu$-Calculus

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share