PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
PaperAdvanced lithography kits: Serifs and hammerheadHang-Yip Liu, Steffen Schulze, et al.Proceedings of SPIE - The International Society for Optical Engineering
Conference paperPrior derivation models for formally syntax-based translation using linguistically syntactic parsing and tree kernelsBowen Zhou, Bing Xiang, et al.SSST 2008