Matteo Viale

	2008
3		Matteo Viale: Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics. Bulletin of Symbolic Logic 14(1): 99-113 (2008)
	2004
2		Matteo Viale: The cumulative hierarchy and the constructible universe of ZFA. Math. Log. Q. 50(1): 99-103 (2004)
	2003
1		Silvio Valentini, Matteo Viale: A binary modal logic for the intersection types of lambda-calculus. Inf. Comput. 185(2): 211-232 (2003)

Coauthor Index

1

Silvio Valentini

[1]