Sekirov Dictionary
/
Practise
My words
Apps
Sign in
STLC
noun
1
•
Initialism
of
simply-typed
lambda
calculus
.
forms
STLCs
This dictionary works without the internet:
on your phone
·
in Chrome
