4 ms·

I like how the McCarthy's paper maps the fundamental operations to machine instructions and memory model. It's like something you can actually implement.

• tug2024 11mo ago
  [dead]