关于我早期研究兴趣的历史记述
计算机科学中的逻辑
2020-08-10 v1 编程语言
摘要
本文简要记述了我的一些早期研究兴趣。该历史记述始于我的信号理论 laurea 论文与计算理论硕士论文，回顾了组合逻辑与项重写系统中的若干结果，其他一些结果涉及程序变换、并行计算、并发理论与程序性质证明。我的早期研究活动主要与 Andrzej Skowron、Anna Labella 和 Maurizio Proietti 合作完成。
引用
@article{arxiv.2008.02927,
title = {A Historical Account of My Early Research Interests},
author = {Alberto Pettorossi},
journal= {arXiv preprint arXiv:2008.02927},
year = {2020}
}
备注
In Proceedings VPT/HCVS 2020, arXiv:2008.02483