3 public-domain matches

Lambda Calculus

Cover of Lectures in Proof Theory and Complexity

Lectures in Proof Theory and Complexity

Pianigiani Duccio

Cover of Maximal Sharing in the Lambda Calculus with letrec

Maximal Sharing in the Lambda Calculus with letrec

Clemens Grabmayer, Jan Rochel

$Cover of Unfolding Semantics of the Untyped {\lambda}-Calculus with letrec$

Unfolding Semantics of the Untyped {\lambda}-Calculus with letrec

Jan Rochel