Stéphane Zimmermann

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Hugo Herbelin, Stéphane Zimmermann
An Operational Account of Call-by-Value Minimal and Classical lambda-Calculus in "Natural Deduction" Form. TLCA (2009)