Usually means: Formal system for function abstraction, types.
Definitions Related words Mentions
We found 5 dictionaries that define the word typed lambda-calculus:

General (1 matching dictionary)
  1. typed lambda-calculus: Dictionary.com

Computing (2 matching dictionaries)
  1. typed lambda-calculus: Free On-line Dictionary of Computing
  2. typed lambda-calculus: Encyclopedia

Medicine (1 matching dictionary)
  1. online medical dictionary (No longer online)

Science (1 matching dictionary)
  1. FOLDOP - Free On Line Dictionary Of Philosophy (No longer online)

Google, News, Images, Wikipedia, Reddit, BlueSky


▸ Words similar to typed lambda-calculus

▸ Usage examples for typed lambda-calculus

▸ Idioms related to typed lambda-calculus

▸ Wikipedia articles (New!)

▸ Words that often appear near typed lambda-calculus

▸ Rhymes of typed lambda-calculus

▸ Invented words related to typed lambda-calculus



Home   Reverse Dictionary / Thesaurus   Datamuse   Word games   Spruce   Feedback   Dark mode   Random word   Help


Color thesaurus

Use OneLook to find colors for words and words for colors

See an example

Literary notes

Use OneLook to learn how words are used by great writers

See an example

Word games

Try our innovative vocabulary games

Play Now

Read the latest OneLook newsletter issue: Threepeat Redux