Lambdagrams are geometric visualizations of semantic types for learning compositional semantics. I came up with the system as a graduate student in 2014. I found it easier to conceptualize function abstraction and more complex semantic types like generalized quantifiers in a visual way.
Click here to play a Lambdagram game I designed. No theory or math, just visual puzzles.
Click here for an interactive lesson: Introduction to Semantic Types with Lambdagrams.
Below is a chart of semantic types and their corresponding Lambdagrams:
| Lambdagram | Type | |
|---|---|---|
 |
e | |
 |
t | |
 |
<e,t> | |
 |
<e,<e,t>> | |
 |
<<e,t>,e> | |
 |
<<e,t>,<e,t>> | |
 |
<<e,t>,<<e,t>,t>> | |
 |
<t,<t,t>> |