search

CompSciCabal / SMRTYPRTY

We read computer science books for fun. This is where the secret notes live.
The Unlicense
77 stars 11 forks source link

A judgemental reconstruction of modal logic #44

Closed bcdarwin closed 6 years ago

bcdarwin commented 7 years ago

https://www.cs.cmu.edu/~fp/papers/mscs00.pdf