英文字典中文字典51ZiDian.com
|
PPLambda superposed upon the {simply-typed} {polymorphic lambda-calculus}. PPLambda is the {object language} for {LCF}. ["Logic and Computation: Interactive Proof with Cambridge LCF", L. Paulson, Cambridge U Press, 1987]. (1995-05-01)
请选择你想看的字典辞典:
|
安装中文字典英文字典查询工具!
英文字典中文字典相关资料:
|
中文字典-英文字典 2005-2009