Tomasz Blanc

Publication Activity (10 Years)

Years Active: 2004-2005
Publications (10 Years): 0

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget
Sharing in the Weak Lambda-Calculus. Processes, Terms and Cycles (2005)
Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andrew D. Gordon
From Stack Inspection to Access Control: A Security Analysis for Libraries. CSFW (2004)