Author:
Mannaa Bassel,Coquand Thierry
Publisher
Journal of Logic and Analysis
Subject
Logic,Modelling and Simulation,Analysis
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Constructive sheaf models of type theory;Mathematical Structures in Computer Science;2021-11-18
2. On the Extended Hensel Construction and its application to the computation of real limit points;Journal of Symbolic Computation;2020-05
3. On the Extended Hensel Construction and its Application to the Computation of Limit Points;Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation;2017-07-23
4. A Sheaf Model of the Algebraic Closure;Electronic Proceedings in Theoretical Computer Science;2014-09-09