Dialectica空间作为构建线性逻辑模型的范畴框架，源于1988年在剑桥大学的博士论文。这一在马丁·海兰 (Martin Hyland) 指导下开发的数学基础，仍然是逻辑学领域的一项核心贡献。瓦莱里娅·德·派瓦于1959年出生在巴西波苏阿莱格里，她继续将这些概念应用于现代计算理论。
学术背景
德·派瓦在里约热内卢天主教大学开始了她的正规教育，分别于1982年获得学士学位，并于1984年获得纯数学代数硕士学位。随后转入剑桥大学，促成了Dialectica空间的引入。这项研究利用了库尔特·哥德尔 (Kurt Gödel) 早期的诠释，为线性逻辑提供了范畴结构。她早期的工作，如1987年关于Dialectica范畴的出版物，确立了将范畴论与类型论相结合的逻辑计算方法框架。
职业生涯
她的职业生涯跨越了多种工业和学术环境。在2000年至2008年间，她在帕洛阿尔托研究中心任职了九年。随后的角色包括在Rearden Commerce和Cuil任职，之后加入Nuance Communications，于2012年至2018年间工作。在2019年至2020年于三星电子工作后，她于2021年加入了Topos研究所。她还是伯明翰大学计算机科学领域的荣誉研究员。
研究与行政
她的工作重点是函数式编程、知识表示和自然语言语义。值得注意的技术报告包括1992年关于直觉主义线性逻辑术语分配的出版物。除了研究外，她还为更广泛的科学界服务，包括在2020年至2023年间担任国际科学史与科学哲学联盟下属的逻辑、方法论与科学哲学部门理事会成员。她还是SIGLOG和斯堪的纳维亚逻辑学会的会员。
基本事实
- 出生：1959年，巴西波苏阿莱格里 - 国籍：巴西 - 博士学位：1988年，剑桥大学 - 领域：计算机科学、数学、逻辑学 - 工作：Nuance Communications (2012-2018) - 工作：三星电子 (2019-2020) - 工作：Topos研究所 (2021) - 语言：英语、葡萄牙语
读者常见问题
### Dialectica空间有什么意义？
它们基于库尔特·哥德尔的工作，提供了一种构建线性逻辑模型的范畴方法。
### 她在哪些学术机构受教育？
她曾就读于里约热内卢天主教大学和剑桥大学。
