Church typed-lambda calculus | ⊕ 1941 | ↓ ↑ ⊕ String and List Processing | ⊕ Strict evaluation LISPs | ⊕ United States | Church |
Post production | ⊕ 1941 | ↓ ↑ ⊕ Excluded from Sammet | ⊕ Grammar and Syntax-oriented | ⊕ United States | Emil Post production system |