刷新
{{item.name}}会员
Monoidal categories and the semantics of programming
幺半群范畴和编程语义
基本信息
- 批准号：46749-1996
- 负责人：
- 金额：$ 0.59万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：1999
- 资助国家：加拿大
- 起止时间：1999-01-01 至 2000-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 }}
Seely, Robert其他文献
Seely, Robert的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Seely, Robert', 18)}}的其他基金
Categorical semantics for computation and communication
计算和通信的分类语义
- 批准号：
46749-2004 - 财政年份：2008
- 资助金额：
$ 0.59万 - 项目类别：
Discovery Grants Program - Individual
Categorical semantics for computation and communication
计算和通信的分类语义
- 批准号：
46749-2004 - 财政年份：2007
- 资助金额：
$ 0.59万 - 项目类别：
Discovery Grants Program - Individual
Categorical semantics for computation and communication
计算和通信的分类语义
- 批准号：
46749-2004 - 财政年份：2006
- 资助金额：
$ 0.59万 - 项目类别：
Discovery Grants Program - Individual
Categorical semantics for computation and communication
计算和通信的分类语义
- 批准号：
46749-2004 - 财政年份：2005
- 资助金额：
$ 0.59万 - 项目类别：
Discovery Grants Program - Individual
Categorical semantics for computation and communication
计算和通信的分类语义
- 批准号：
46749-2004 - 财政年份：2004
- 资助金额：
$ 0.59万 - 项目类别：
Discovery Grants Program - Individual
The logic and proof theory of linear categories
线性范畴的逻辑与证明论
- 批准号：
46749-2000 - 财政年份：2003
- 资助金额：
$ 0.59万 - 项目类别：
Discovery Grants Program - Individual
The logic and proof theory of linear categories
线性范畴的逻辑与证明论
- 批准号：
46749-2000 - 财政年份：2002
- 资助金额：
$ 0.59万 - 项目类别：
Discovery Grants Program - Individual
The logic and proof theory of linear categories
线性范畴的逻辑与证明论
- 批准号：
46749-2000 - 财政年份：2001
- 资助金额：
$ 0.59万 - 项目类别：
Discovery Grants Program - Individual
The logic and proof theory of linear categories
线性范畴的逻辑与证明论
- 批准号：
46749-2000 - 财政年份：2000
- 资助金额：
$ 0.59万 - 项目类别：
Discovery Grants Program - Individual
Monoidal categories and the semantics of programming
幺半群范畴和编程语义
- 批准号：
46749-1996 - 财政年份：1998
- 资助金额：
$ 0.59万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
BRAIN CONNECTS: A Center for High-throughput Integrative Mouse Connectomics
大脑连接：高通量集成鼠标连接组学中心
- 批准号：
10665380 - 财政年份：2023
- 资助金额：
$ 0.59万 - 项目类别：
Computational Image Analysis of Renal Transplant Biopsies to Predict Graft Outcome
肾移植活检的计算图像分析以预测移植结果
- 批准号：
10733292 - 财政年份：2023
- 资助金额：
$ 0.59万 - 项目类别：
Understanding Individual Differences in Acoustic-Phonetic and Contextual Cue Use In Aging
了解衰老过程中声学语音和上下文提示使用的个体差异
- 批准号：
10750603 - 财政年份：2023
- 资助金额：
$ 0.59万 - 项目类别：
The Neural Mechanisms Underlying Categorical Decision Making
分类决策背后的神经机制
- 批准号：
10750000 - 财政年份：2023
- 资助金额：
$ 0.59万 - 项目类别：
Identifying the presence of a code-switch: Evaluating the role of acoustic cues.
识别代码转换的存在：评估声音提示的作用。
- 批准号：
10751509 - 财政年份：2023
- 资助金额：
$ 0.59万 - 项目类别：
Learning diagnostic latent representations for human material perception: common mechanisms and individual variability
学习人类物质感知的诊断潜在表征：共同机制和个体差异
- 批准号：
10580295 - 财政年份：2023
- 资助金额：
$ 0.59万 - 项目类别：
DeepCertainty: Deep Learning for Contextual Diagnostic Uncertainty Measurement in Radiology Reports
DeepCertainty：放射学报告中上下文诊断不确定性测量的深度学习
- 批准号：
10593770 - 财政年份：2023
- 资助金额：
$ 0.59万 - 项目类别：
Deep Learning Assessment of the Right Ventricle: Function, Etiology, and Prognosis
右心室的深度学习评估：功能、病因和预后
- 批准号：
10756662 - 财政年份：2023
- 资助金额：
$ 0.59万 - 项目类别：
Ready to CONNECT: Conversation and Language in Autistic Teens
准备好联系：自闭症青少年的对话和语言
- 批准号：
10807563 - 财政年份：2023
- 资助金额：
$ 0.59万 - 项目类别：
Computational psycholinguistic analysis of speech samples in PPA and AD and FTD
PPA、AD 和 FTD 中语音样本的计算心理语言学分析
- 批准号：
10373191 - 财政年份：2022
- 资助金额：
$ 0.59万 - 项目类别：