#formal systems #symbolic systems #interdisciplinary concepts #Stanford SymSys #semantics