302 articles – 345 Notices  [english version]
.:. Consultation > Liste par auteurs > Zimmermann .:.
1 document
fulltext access An Operational Account of Call-By-Value Minimal and Classical $\lambda$-calculus in ''Natural Deduction'' Form
Herbelin H., Zimmermann S.
Typed Lambda-Calculi and Applications, Brazil (2009) [inria-00389903 - version 1]