Word.ws English Dictionary

STLC

STLC is the initialism of simply-typed lambda calculus.

Forms of STLC

pluralSTLCs

Questions about STLC

What is STLC the initialism of?
STLC is the initialism of simply-typed lambda calculus.

Words near STLC in the dictionary

  1. Stjustes
  2. stk
  3. STL
  4. Stl'atl'imx
  5. Stl'atl'imxets
  6. STLC
  7. STLD
  8. sTLDs
  9. STLV
  10. STLVs
  11. STM

Source and license

Adapted from Wiktionary: STLC (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “STLC.” Word.ws, https://word.ws/stlc. Based on Wiktionary, CC BY-SA 4.0.