Gian Luca Cattani
发表
Glynn Winskel,
Marcelo P. Fiore,
Gian Luca Cattani,
1997,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Vladimiro Sassone,
Gian Luca Cattani,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Glynn Winskel,
Gian Luca Cattani,
G. Winskel,
1996,
CSL.
Glynn Winskel,
John Power,
Gian Luca Cattani,
1998,
CONCUR.
Glynn Winskel,
Gian Luca Cattani,
2003,
Theor. Comput. Sci..
Glynn Winskel,
Marcelo P. Fiore,
Gian Luca Cattani,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Glynn Winskel,
Gian Luca Cattani,
G. Winskel,
2004,
Mathematical Structures in Computer Science.
Peter Sewell,
Gian Luca Cattani,
Peter Sewell,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Glynn Winskel,
Gian Luca Cattani,
G. Winskel,
1996,
CSL.
Marcelo P. Fiore,
Gian Luca Cattani,
M. Fiore,
2007,
Computation, Meaning, and Logic.
Glynn Winskel,
Ian Stark,
Gian Luca Cattani,
1997
.
Peter Sewell,
Gian Luca Cattani,
2004,
Inf. Comput..
Glynn Winskel,
Gian Luca Cattani,
G. Winskel,
1999,
Theor. Comput. Sci..
Gian Luca Cattani,
G. Winskel,
J. Power,
1998
.
Glynn Winskel,
Marcelo P. Fiore,
Gian Luca Cattani,
1999
.
Robin Milner,
James J. Leifer,
Gian Luca Cattani,
2000
.
Glynn Winskel,
Marcelo P. Fiore,
Gian Luca Cattani,
1997
.
Glynn Winskel,
Gian Luca Cattani,
2004
.
Glynn Winskel,
Gian Luca Cattani,
Ian Stark,
1997,
Category Theory and Computer Science.