What does STLC stand for?
STLC stands for "Simply Typed Lambda-Calculus"
How to abbreviate "Simply Typed Lambda-Calculus"?
"Simply Typed Lambda-Calculus" can be abbreviated as STLC
What is the meaning of STLC abbreviation?
The meaning of STLC abbreviation is "Simply Typed Lambda-Calculus"
What does STLC mean?
STLC as abbreviation means "Simply Typed Lambda-Calculus"