Böhm theorem and Böhm trees for the Lambda-mu-calculus

International audience

Data and Resources

Additional Info

Field Value
Source ISSN: 0304-3975
Author Saurin, Alexis
Maintainer CCSD
Last Updated May 19, 2026, 15:14 (UTC)
Created May 19, 2026, 15:14 (UTC)
Identifier hal-00695534
Language en
contributor Preuves, Programmes et Systèmes (PPS) ; Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)
creator Saurin, Alexis
date 2012-06-19T00:00:00
harvest_object_id 933bb22c-fcb9-4353-96d7-10230d1d68e9
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-02-26T00:00:00
relation info:eu-repo/semantics/altIdentifier/doi/10.1016/j.tcs.2012.02.027
set_spec type:ART