未收录

simply typed lambda calculus

检查一下拼写，或查原形（running → run）。