Check out the MIRI course list.
I still have yet to understand the emphasis on model theory and model checking over other branches of semantics. -- type theory weenie
Check out the MIRI course list.
I still have yet to understand the emphasis on model theory and model checking over other branches of semantics. -- type theory weenie