Dependent function types and implementation standards for lambda cal- culus
lambda 演算的相关函数类型和实现标准
基本信息
- 批准号:23391-1998
- 负责人:
- 金额:$ 1.09万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2000
- 资助国家:加拿大
- 起止时间:2000-01-01 至 2001-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Seldin, Jonathan其他文献
Seldin, Jonathan的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Seldin, Jonathan', 18)}}的其他基金
Cross-paradigm investigations in higher-order reasoning
高阶推理中的跨范式研究
- 批准号:
23391-2002 - 财政年份:2006
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Cross-paradigm investigations in higher-order reasoning
高阶推理中的跨范式研究
- 批准号:
23391-2002 - 财政年份:2005
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Cross-paradigm investigations in higher-order reasoning
高阶推理中的跨范式研究
- 批准号:
23391-2002 - 财政年份:2004
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Cross-paradigm investigations in higher-order reasoning
高阶推理中的跨范式研究
- 批准号:
23391-2002 - 财政年份:2003
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Cross-paradigm investigations in higher-order reasoning
高阶推理中的跨范式研究
- 批准号:
23391-2002 - 财政年份:2002
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Dependent function types and implementation standards for lambda cal- culus
lambda 演算的相关函数类型和实现标准
- 批准号:
23391-1998 - 财政年份:2001
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Dependent function types and implementation standards for lambda cal- culus
lambda 演算的相关函数类型和实现标准
- 批准号:
23391-1998 - 财政年份:1999
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Dependent function types and implementation standards for lambda cal- culus
lambda 演算的相关函数类型和实现标准
- 批准号:
23391-1998 - 财政年份:1999
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Dependent function types and implementation standards for lambda cal- culus
lambda 演算的相关函数类型和实现标准
- 批准号:
23391-1998 - 财政年份:1998
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Dependent function types and implementation standards for lambda calculus
lambda演算的依赖函数类型和实现标准
- 批准号:
23391-1994 - 财政年份:1996
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
CBP/p300-HADH轴在基础胰岛素分泌调节中的作用和机制研究
- 批准号:82370798
- 批准年份:2023
- 资助金额:49.00 万元
- 项目类别:面上项目
PRNP调控巨噬细胞M2极化并减弱吞噬功能促进子宫内膜异位症进展的机制研究
- 批准号:82371651
- 批准年份:2023
- 资助金额:49.00 万元
- 项目类别:面上项目
配子生成素GGN不同位点突变损伤分子伴侣BIP及HSP90B1功能导致精子形成障碍的发病机理
- 批准号:82371616
- 批准年份:2023
- 资助金额:49.00 万元
- 项目类别:面上项目
Idh3a作为线粒体代谢—表观遗传检查点调控产热脂肪功能的机制研究
- 批准号:82370851
- 批准年份:2023
- 资助金额:48.00 万元
- 项目类别:面上项目
基于再生运动神经路径优化Agrin作用促进损伤神经靶向投射的功能研究
- 批准号:82371373
- 批准年份:2023
- 资助金额:49.00 万元
- 项目类别:面上项目
PROCR信号通路介导的血管新生在卵巢组织移植中的作用及机制研究
- 批准号:82371726
- 批准年份:2023
- 资助金额:50.00 万元
- 项目类别:面上项目
GASP-1通过Myostatin信号通路调控颏舌肌功能的作用及机制研究
- 批准号:82371131
- 批准年份:2023
- 资助金额:49.00 万元
- 项目类别:面上项目
G蛋白偶联受体GPR110调控Lp-PLA2抑制非酒精性脂肪性肝炎的作用及机制研究
- 批准号:82370865
- 批准年份:2023
- 资助金额:49.00 万元
- 项目类别:面上项目
双硫仑结合并抑制谷氨酸脱氢酶1活性调节Th17/Treg细胞平衡的作用与机制探究
- 批准号:82371755
- 批准年份:2023
- 资助金额:49.00 万元
- 项目类别:面上项目
犬尿氨酸酶KYNU参与非酒精性脂肪肝进展为肝纤维化的作用和机制研究
- 批准号:82370874
- 批准年份:2023
- 资助金额:49.00 万元
- 项目类别:面上项目
相似海外基金
Using new methods for voltage imaging to assay the engagement of specific cell-types and brain rhythms in prefrontal-dependent cognition.
使用电压成像的新方法来分析特定细胞类型和大脑节律在前额叶依赖性认知中的参与情况。
- 批准号:
10413947 - 财政年份:2019
- 资助金额:
$ 1.09万 - 项目类别:
Using new methods for voltage imaging to assay the engagement of specific cell-types and brain rhythms in prefrontal-dependent cognition.
使用电压成像的新方法来分析特定细胞类型和大脑节律在前额叶依赖性认知中的参与情况。
- 批准号:
10381104 - 财政年份:2019
- 资助金额:
$ 1.09万 - 项目类别:
Using new methods for voltage imaging to assay the engagement of specific cell-types and brain rhythms in prefrontal-dependent cognition.
使用电压成像的新方法来分析特定细胞类型和大脑节律在前额叶依赖性认知中的参与情况。
- 批准号:
10210219 - 财政年份:2019
- 资助金额:
$ 1.09万 - 项目类别:
Using new methods for voltage imaging to assay the engagement of specific cell-types and brain rhythms in prefrontal-dependent cognition.
使用电压成像的新方法来分析特定细胞类型和大脑节律在前额叶依赖性认知中的参与情况。
- 批准号:
10006856 - 财政年份:2019
- 资助金额:
$ 1.09万 - 项目类别:
Dependent function types and implementation standards for lambda cal- culus
lambda 演算的相关函数类型和实现标准
- 批准号:
23391-1998 - 财政年份:2001
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Dependent function types and implementation standards for lambda cal- culus
lambda 演算的相关函数类型和实现标准
- 批准号:
23391-1998 - 财政年份:1999
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Dependent function types and implementation standards for lambda cal- culus
lambda 演算的相关函数类型和实现标准
- 批准号:
23391-1998 - 财政年份:1999
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Dependent function types and implementation standards for lambda cal- culus
lambda 演算的相关函数类型和实现标准
- 批准号:
23391-1998 - 财政年份:1998
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Dependent function types and implementation standards for lambda calculus
lambda演算的依赖函数类型和实现标准
- 批准号:
23391-1994 - 财政年份:1996
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Dependent function types and implementation standards for lambda calculus
lambda演算的依赖函数类型和实现标准
- 批准号:
23391-1994 - 财政年份:1995
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual