Publisher
Association for Computational Linguistics
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Restricted Computations and Parameters in Type-Theory of Acyclic Recursion;ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal;2023-07-20
2. Eta-Reduction in Type-Theory of Acyclic Recursion;ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal;2023-07-18
3. Logic Operators and Quantifiers in Type-Theory of Algorithms;Lecture Notes in Computer Science;2023
4. Algorithmic Dependent-Type Theory of Situated Information and Context Assessments;Distributed Computing and Artificial Intelligence, 19th International Conference;2022-12-13