Skip to Main content Skip to Navigation
Conference papers

A proof of weak termination of typed λσ-calculi

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03211080
Contributor : Jean Goubault-Larrecq <>
Submitted on : Wednesday, April 28, 2021 - 2:12:08 PM
Last modification on : Friday, April 30, 2021 - 3:10:18 AM

Links full text

Identifiers

Collections

Citation

Jean Goubault-Larrecq. A proof of weak termination of typed λσ-calculi. International Workshop on Types for Proofs and Programs (TYPES'96), 1998, Aussois, France. pp.134-153, ⟨10.1007/BFb0097790⟩. ⟨hal-03211080⟩

Share

Metrics

Record views

11