The Call-By-Value Lambda-Calculus with Generalized Applications

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

Conference Paper

Publication

Year of publication: 2020

Identifiers

Locators

Alternative Titles