Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantics of Propositional Attitudes in Type-Theory of Algorithms;Lecture Notes in Computer Science;2024
2. Eta-Reduction in Type-Theory of Acyclic Recursion;ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal;2023-07-18
3. Underspecified Quantification by the Theory of Acyclic Recursion;Advances in Intelligent Systems and Computing;2016
4. Quantification and Intensionality in Situation Semantics;Computational Linguistics and Intelligent Text Processing;2002