1 citations · 2 across the 8 of their papers we have counts for
1 paper · 1 filter
Lucius Schoenbaum
A visual type theory is a cognitive tool that has much in common with language, and may be regarded as an exceptional form of spatial text adjunct. A mathematical visual type theor…