2005 | ||
---|---|---|
2 | EE | Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget: Sharing in the Weak Lambda-Calculus. Processes, Terms and Cycles 2005: 70-87 |
2004 | ||
1 | EE | 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: 61- |
1 | Frédéric Besson | [1] |
2 | Cédric Fournet | [1] |
3 | Andrew D. Gordon (Andy Gordon) | [1] |
4 | Jean-Jacques Lévy | [2] |
5 | Luc Maranget | [2] |