Combinatory Logic and Lambda Calculus Are Equal, Algebraically - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh. Combinatory Logic and Lambda Calculus Are Equal, Algebraically. In Marco Gaboardi, Femke van Raamsdonk, editors, 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy. Volume 260 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

This author has not been identified. It may be one of the following persons:

Thorsten Altenkirch

Look up 'Thorsten Altenkirch' in GoogleThis author has not been identified. Look up 'Ambrus Kaposi' in GoogleThis author has not been identified. Look up 'Artjoms Sinkarovs' in GoogleThis author has not been identified. Look up 'Tamás Végh' in Google

runs on WebDSL