彼得·布克洛夫斯基
人员信息
附属: 英国剑桥大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2000 – 2009
2007 【c2】 尼克·本顿 , 彼得·布克洛夫斯基 :
异常影响分析的语义。 TLDI公司 2007 : 15-26 2005 【c1】 彼得·布克洛夫斯基 , Hayo Thielecke先生 :
游客模式的类型理论重建。 MFPS公司 2005 : 309-329
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)