Skip to content

Interactive Web-Based Interpreter of the $\lambda$-Calculus.

Andrea Ferenczov, Jn Perhc

Year2023
ProceedingsSISY

Browse the full SISY paper archive.