卡斯滕·福曼
人员信息
优化列表
2000 – 2009
2007 [j3] 卡斯滕·福曼 , 大卫·J·派姆 :
关于经典逻辑和交互几何的范畴模型。 数学。 结构。 计算。 科学。 17 ( 5 ) : 957-1027 ( 2007 ) 2004 [注2] 卡斯滕·福曼 , Hayo Thielecke先生 :
关于按值调用的CPS转换及其语义。 Inf.计算。 188 ( 2 ) : 241-283 ( 2004 ) 【c4】 卡斯滕·福曼 , 大卫·J·派姆 :
论经典逻辑的交互几何。 低收入国家 2004 : 211-220 2003 [j1] 安娜·布卡洛 , 卡斯滕·福曼 , 亚历克斯·K·辛普森 :
提升单子的等式概念。 西奥。 计算。 科学。 294 ( 1/2 ) : 31-60 ( 2003 ) 2002 【c3】 卡斯滕·福曼 :
各种效果。 FoSSaCS公司 2002 : 144-158 2000 【b1】 卡斯滕·福曼 :
按值调用的结构。 英国爱丁堡大学, 2000
1990 – 1999
1999 [c2] 卡斯滕·福曼 :
计算Lambda微积分的直接模型。 MFPS公司 1999 : 245-292 【c1】 安娜·布卡洛 , 卡斯滕·福曼 , 亚历克斯·K·辛普森 :
赤道升降Monads。 CTCS公司 1999 : 22