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

Leibniz International Proceedings in Informatics, LIPIcs

Conference Paper

S. Ghilezan

Publication

Year of publication: 2017

Volume: 104

Pages: 57-58

Identifiers

ISSN: 18688969

Other: 2-s2.0-85086941476

Locators

Alternative Titles