停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第六类理论与计算机科学1995年：英国剑桥

>主页 >会议和研讨会 >范畴理论与计算机科学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/1995
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/1995
大卫·H·皮特,大卫·E·瑞德海尔,彼得·约翰斯通:
类别理论与计算机科学，第六届国际会议，CTCS’95，英国剑桥，1995年8月7日至11日，会议记录。计算机科学课堂讲稿953,施普林格 1995，十亿3-540-60164-3
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/Milner95公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/Milner95
罗宾·米尔纳:
控制结构：交互模型。 1-2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/Pavlovic95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/Pavlovic95
达斯科·巴甫洛维奇:
过程和模拟的便利类别1：模强相似性。 3-23
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/BadouelD95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/BadouelD95
埃里克·巴杜埃尔,菲利普·达伦多:
精神分裂症对象引发的网络与自动机的二重性。 24-43
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/Kawahara95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/Kawahara95
川原康夫:
关系集理论。 44-58
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/Soloviev95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/Soloviev95
谢尔盖·索洛维耶夫:
S.Mac Lane猜想的证明。 59-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/AspertiC95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/阿斯佩蒂C95
安德烈亚·阿斯佩蒂,阿加塔·恰巴托尼:
有效的适用结构。 81-95
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/HylandM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/HylandM95
J.M.E.海兰德,尤金尼奥·莫吉:
S-Replete构造。 96-116
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/Simpson95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/Simpson95
亚历克斯·K·辛普森:
CPO实现的一类偏序集中的凸幂域。 117-145
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/Fiore95公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/Fiore95
马塞洛·菲奥雷:
作为KZ主义的提升。 146-158
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/BackhouseBGW95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/BackhouseBGW95
罗兰·卡尔·巴克豪斯,马塞尔·比斯特维尔德,里克·范·盖尔迪普,贾普·范德沃德:
范畴不动点微积分。 159-179
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/Brookes95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/Brookes95
斯蒂芬·布鲁克斯:
并行类算法语言的范畴理论处理。 180-181
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/AltenkirchHS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/AltenkirchHS95
托尔斯滕·阿尔滕基奇,马丁·霍夫曼,托马斯·斯特里彻:
一个无约简正规化证明的范畴重构。 182-199
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/长谷川95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/Hasegawa95
长谷正彦:
将类型化Lambda演算分解为两种类别编程语言。 200-219
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/Otto95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/Otto95
J.R.Otto Jr.小。:
V-理解和P空间。 220-239
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/FourmanT95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/FourmanT95
迈克尔·福曼,Hayo Thielecke先生:
ML模块的拟议分类语义。 240-252

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。