Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
typed lambda-calculus
hEnglish - advanced version
Download this dictionary
typed lambda-calculus
typed lambda-calculus
(tlc) a variety of lambda-calculus in which every term is labelled with a type.