Characterization of strong normalizability for a sequent lambda calculus with co-control

ACM International Conference Proceeding Series

Conference Paper

S. Ghilezan

Publication

Year of publication: 2017

Volume: Part F131196

Pages: 163-174

Identifiers

Other: 2-s2.0-85033701105

Locators

Alternative Titles