咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 denotational sem...
  • 1 篇 lambda-calculus
  • 1 篇 probabilistic fu...

机构

  • 1 篇 univ bologna bol...
  • 1 篇 univ paris dider...

作者

  • 1 篇 pagani michele
  • 1 篇 leventis thomas

语言

  • 1 篇 英文
检索条件"主题词=Probabilistic functional programming"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Strong Adequacy and Untyped Full-Abstraction for probabilistic Coherence Spaces  22nd
Strong Adequacy and Untyped Full-Abstraction for Probabilist...
收藏
分享
引用
22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) Held as Part of the European Joint Conferences on Theory and Practice of Software (EATPS)
作者： Leventis, Thomas Pagani, Michele Univ Paris Diderot CNRS Sorbonne Paris Cite IRIF UMR 8243 Paris France Univ Bologna Bologna Italy
We consider the probabilistic untyped lambda-calculus and prove a stronger form of the adequacy property for probabilistic coherence spaces (PCoh), showing how the denotation of a term statistically distributes over t... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件