课题基金 / 基金详情

Semantics of Typed and Untyped Lambda Calculus (MathematicalLogic)

Semantics of Typed and Untyped Lambda Calculus (MathematicalLogic)
类型化和非类型化 Lambda 演算的语义 (MathematicalLogic)
批准号：
8300436
负责人：
Kim Bruce
金额：
$0.74万
依托单位：
Williams College
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1983
资助国家：
美国
项目状态：
已结题
起止时间：
1983-06-15 至 1985-11-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8300436&HistoricalAwards=false
关键词：
SemanticsTypedUntypedLambdaCalculus

项目摘要

项目成果

Kim Bruce的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
RUI: Modules and Parallel Specialization of Object Types
  • 批准号：
    0632458
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $13.07万
  • 财政年份：
    2006
  • 负责人：
    Kim Bruce
  • 依托单位：
    Pomona College
RUI: Modules and Parallel Specialization of Object Types
  • 批准号：
    0306486
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $20.69万
  • 财政年份：
    2003
  • 负责人：
    Kim Bruce
  • 依托单位：
    Williams College
Making Interaction Fundamental in Object-oriented CS1: Programming Tools and Curricular Materials to Support Concurrency and Event-driven Programming
  • 批准号：
    0088895
  • 项目类别：
    Standard Grant
  • 资助金额：
    $28.79万
  • 财政年份：
    2001
  • 负责人：
    Kim Bruce
  • 依托单位：
    Williams College
RUI: Design of Object-Oriented Programming Languages
  • 批准号：
    9988210
  • 项目类别：
    Standard Grant
  • 资助金额：
    $10.4万
  • 财政年份：
    2000
  • 负责人：
    Kim Bruce
  • 依托单位：
    Williams College
海外基金