Mario José Cáccamo?

[Eduardo Ochs]

Oi lista,

alguém aqui sabe como entrar em contato com um cara chamado Mario José
Cáccamo? Pelo que eu descobri aqui

http://bvs.fapesp.br/pt/pesquisador/36812/mario-jose-caccamo/

ele tem alguma relação com o Instituto de Computação da UNICAMP... ele
publicou este artigo e esta tese,

Cáccamo/Winskel: "A Higher-Order Calculus for Categories" (2001)
https://www.brics.dk/RS/01/27/BRICS-RS-01-27.pdf

Mario Jose Caccamo: "A Formal Calculus for Categories" (PhD thesis, 2004)
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.7460

mas não estou encontrando publicações recentes dele que tenham um
endereço de e-mail... o link da FAPESP que eu pus ali em cima tem um
retângulo chamado "Contate o pesquisador" e eu tentei usá-lo, mas ele
dá erro...

Obrigado!
Eduardo Ochs
http://angg.twu.net/math-b.html#favorite-conventions