Alkemet News
Church's λ-Calculus (2023) [pdf] (cs.cmu.edu)

155 points

byjstrieb

a year ago |

46 comments