STLC means Simply-Typed Lambda-Calculus in Mathematics
Similar to STLC
ABC - Antecedent, Behavior, Consequences ABCD - Asymmetry Border Colour And Differentiated ABF - All But a Finite ABS - Absolute AC - Axiom of Choice AC - Arc Consistency AC - Assumption Context