How do I get into Lambda calculus with no comp sci background?

4 months ago 78

I'm interested in learning about lambda calculus but I have no background in comp sci or math. The only relevant thing I can think of are my first order logic classes. What reading or starting point would you recommend?

submitted by /u/H-Sophist to r/compsci
[link] [comments]

Read Entire Article

How do I get into Lambda calculus with no comp sci background?

Related

Introducing the Advent of Compiler Optimisations 2025 — Matt...

Alien (1979) - Special Order 937 | MUTHUR Interactive OS Min...

Wait c++ is kinda based?

Would 480i stations look better on a 720o screen than a 1080...

Apple is ramping up succession plans for CEO Tim Cook and ma...

Delhi: Why India caps pollution reading at 500 when the air ...

40 years ago I created a part numbering system. In 1997 I pu...

9 Investigates finds hundreds of Florida law enforcement off...

A new version of the gf gdb frontend (linux)

Antenna question

CO2 emissions reach an all-time record high in 2025 with no ...

Drew most of my favorite composers, can you name them all?

COP30 warning: Countries are leaning on forests instead of c...

Trending