The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.
30 Day SummaryMar 24 2024 — Apr 23 2024
|
12 Month SummaryApr 23 2023 — Apr 23 2024
|