Cross-paradigm investigations in higher-order reasoning
Cross-paradigm investigations in higher-order reasoning
批准号:
23391-2002
负责人:
Seldin, Jonathan
金额:
$0.87万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2004
资助国家:
加拿大
项目状态:
已结题
起止时间:
2004-01-01 至 2005-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Cross-paradigm investigations in higher-order reasoning
-
批准号:23391-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.87万
-
财政年份:2006
-
负责人:Seldin, Jonathan
-
依托单位:
Cross-paradigm investigations in higher-order reasoning
-
批准号:23391-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.87万
-
财政年份:2005
-
负责人:Seldin, Jonathan
-
依托单位:
Cross-paradigm investigations in higher-order reasoning
-
批准号:23391-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.87万
-
财政年份:2003
-
负责人:Seldin, Jonathan
-
依托单位:
Cross-paradigm investigations in higher-order reasoning
-
批准号:23391-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.87万
-
财政年份:2002
-
负责人:Seldin, Jonathan
-
依托单位:
Dependent function types and implementation standards for lambda cal- culus
-
批准号:23391-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:2001
-
负责人:Seldin, Jonathan
-
依托单位:
Dependent function types and implementation standards for lambda cal- culus
-
批准号:23391-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:2000
-
负责人:Seldin, Jonathan
-
依托单位:
Dependent function types and implementation standards for lambda cal- culus
-
批准号:23391-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.28万
-
财政年份:1999
-
负责人:Seldin, Jonathan
-
依托单位:
Dependent function types and implementation standards for lambda cal- culus
-
批准号:23391-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.81万
-
财政年份:1999
-
负责人:Seldin, Jonathan
-
依托单位:
Dependent function types and implementation standards for lambda cal- culus
-
批准号:23391-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.04万
-
财政年份:1998
-
负责人:Seldin, Jonathan
-
依托单位:
Dependent function types and implementation standards for lambda calculus
-
批准号:23391-1994
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.58万
-
财政年份:1996
-
负责人:Seldin, Jonathan
-
依托单位:
Dependent function types and implementation standards for lambda calculus
-
批准号:23391-1994
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.58万
-
财政年份:1995
-
负责人:Seldin, Jonathan
-
依托单位:
Dependent function types and implementation standards for lambda calculus
-
批准号:23391-1994
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.58万
-
财政年份:1994
-
负责人:Seldin, Jonathan
-
依托单位:
Dependant function types and implementation standards for lambda calculus
-
批准号:23391-1991
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.87万
-
财政年份:1993
-
负责人:Seldin, Jonathan
-
依托单位:
Dependant function types and implementation standards for lambda calculus
-
批准号:23391-1991
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.87万
-
财政年份:1992
-
负责人:Seldin, Jonathan
-
依托单位:
Dependant function types and implementation standards for lambda calculus
-
批准号:23391-1991
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.87万
-
财政年份:1991
-
负责人:Seldin, Jonathan
-
依托单位:
国内基金
海外基金
范型(Paradigm)统一化问题
-
批准号:68783007
-
项目类别:专项基金项目
-
资助金额:3.0万元
-
批准年份:1987
-
负责人:林惠民
-
依托单位: