| |
| 2004 | ||
|---|---|---|
| 2 | EE | F. William Lawvere: Left and right adjoint operations on spaces and data types. Theor. Comput. Sci. 316(1): 105-111 (2004) |
| 2003 | ||
| 1 | EE | F. William Lawvere: Foundations and applications: axiomatization and education. Bulletin of Symbolic Logic 9(2): 213-224 (2003) |