安娜·波夫
人员信息
优化列表
2010 – 2019
2016 [j3] 安娜·波夫 , 亚历山大·克劳斯 , 马蒂厄·索佐 :
交互式定理证明程序中的偏爱和递归——概述。 数学。 结构。 计算。 科学。 26 ( 1 ) : 38-88 ( 2016 ) 2015 [c14] 埃内斯托·科佩罗 , 阿尔瓦罗·塔西斯特罗 , 诺拉·萨兹 , 安娜·波夫 , 玛丽贝尔·费尔南德斯 :
构造型理论中Lambda演算的Alpha-Structure归纳和递归。 LSFA公司 2015 : 109-124 2012 [第13条] 安娜·波夫 , 彼得·戴比杰 , 安德烈斯·西卡德·拉米雷斯 :
在功能程序的一阶理论中结合交互式推理和自动推理。 FoSSaCS公司 2012 : 104-118 [电子3] 叶卡捷琳娜·科门丹茨卡娅 , 安娜·波夫 , 米拉德·尼基 :
交互式定理证明中的部分性和递归性, ITP的PAR 2010年7月15日,英国爱丁堡。 EPiC系列 5, Easy椅子 2012 [目录] 2010 [电子2] 安娜·波夫 , 叶卡捷琳娜·科门丹茨卡娅 , 米拉德·尼基 :
交互式定理证明中的偏性和递归研讨会论文集,PAR 2010,英国爱丁堡,2010年7月15日。 EPTCS系统 43, 2010 [目录]
2000 – 2009
2009 [第12条] 安娜·波夫 , 彼得·戴比杰 , 安德烈斯·西卡德·拉米雷斯 :
在Agda中嵌入结构逻辑理论。 PLPV公司 2009 : 59-66 [第11条] 安娜·波夫 , 彼得·戴比杰 , 乌尔夫·诺雷尔 :
Agda——一种具有依赖类型的函数式语言的简要概述。 TPHOL公司 2009 : 73-78 [第10条] 安娜·波夫 :
函数域的另一个视角。 MFPS公司 2009 : 61-74 [电子1] 安娜·波夫 , 路易斯·索尔斯·巴博萨 , 阿尔贝托·帕尔多 , 豪尔赫·索萨·平托 :
语言工程和严格的软件开发,2008年2月24日至3月1日,乌拉圭皮里亚波利斯,2008年国际LerNet ALFA暑期学校,修订教程。 计算机科学课堂讲稿 5520, 施普林格 2009 ,国际标准图书编号 978-3-642-03152-6 [目录] 2008 【c9】 安娜·波夫 , 彼得·戴比杰 :
工作中的依赖类型。 LerNet ALFA暑期学校 2008 : 57-99 【c8】 安娜·波夫 , 维南西奥·卡普雷塔 :
一类部分递归函数。 TPHOL公司 2008 : 102-117 2007 【c7】 安娜·波夫 , 维南西奥·卡普雷塔 :
预言计算。 薄层色谱分析 2007 : 70-83 2005 [注2] 安娜·波夫 , 维南西奥·卡普雷塔 :
在类型理论中对一般递归进行建模。 数学。 结构。 计算。 科学。 15 ( 4 ) : 671-708 ( 2005 ) 【c6】 安德烈亚斯·阿贝尔 , 马金·本克 , 安娜·波夫 , 约翰·休斯 , 乌尔夫·诺雷尔 :
使用构造类型理论验证haskell程序。 哈斯克尔 2005 : 62-73 【c5】 安娜·波夫 , 维南西奥·卡普雷塔 :
具有高阶域的递归函数。 薄层色谱分析 2005 : 116-130 2004 【c4】 安娜·波夫 , 蒂埃里·科昆 :
形式化类型理论中的双音排序。 类型 2004 : 82-97 2002 【b1】 安娜·波夫 :
类型理论中的一般递归。 查尔默斯科技大学,瑞典哥德堡, 2002 【c3】 安娜·波夫 :
类型理论中的一般递归。 类型 2002 : 39-58 2001 [j1] 安娜·波夫 :
类型理论中的简单一般递归。 Nord.J.计算。 8 ( 1 ) : 22-42 ( 2001 ) 【c2】 安娜·波夫 , 维南西奥·卡普雷塔 :
类型理论中的嵌套一般递归和偏爱。 TPHOL公司 2001 : 121-135
1990 – 1999
1992 【c1】 安娜·波夫 , 劳拉·阿比拉 :
宏观扩展与评价的融合演算。 LISP与函数编程 1992 : 278-287