未收录

typed lambda calculus

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