Metadata

Source URL:: https://williamjbowman.com/blog/2022/10/05/what-is-realizability/
Topics:: #realizability

I recently decided to confront the fact that I didn't know what "realizability" meant. I see it in programming languages papers from time to time, and could see little rhyme or reason to how it was used. Any time I tried to look it up, I got some nonsense...

Highlights