| |
| 2004 | ||
|---|---|---|
| 2 | EE | Matteo Viale: The cumulative hierarchy and the constructible universe of ZFA. Math. Log. Q. 50(1): 99-103 (2004) |
| 2003 | ||
| 1 | EE | Silvio Valentini, Matteo Viale: A binary modal logic for the intersection types of lambda-calculus. Inf. Comput. 185(2): 211-232 (2003) |
| 1 | Silvio Valentini | [1] |