We found 7 dictionaries that define the word Typed lambda calculus:

General (2 matching dictionaries)

1. typed lambda-calculus: Dictionary.com
2. Typed lambda calculus: Wikipedia, the Free Encyclopedia

Computing (2 matching dictionaries)

3. typed lambda-calculus: Free On-line Dictionary of Computing
4. typed lambda-calculus: Encyclopedia

Medicine (1 matching dictionary)

5. online medical dictionary (No longer online)

Science (2 matching dictionaries)

6. FOLDOP - Free On Line Dictionary Of Philosophy (No longer online)

Definitions from Wikipedia (Typed lambda calculus) ▸ noun:  A typed lambda calculus is a typed formalism that uses the lambda-symbol to denote anonymous function abstraction. Phrases: Simply typed lambda calculus, more... ▸ 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