Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference43 articles.
1. Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Twentieth Annual IEEE Symposium on Logic in Computer Science (LICS). IEEE, pp. 249–258 (2005)
2. Ambler, S., Crole, R.L., Momigliano, A.: Combining higher order abstract syntax with tactical theorem proving and (co)induction. In :15th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs). Lecture Notes in Computer Science. Springer, pp. 13–30 (2002)
3. Battell, C., Felty, A.: The logic of hereditary Harrop formulas as a specification logic for Hybrid. In: Proceedings of the 11th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2011). ACM, pp. 3:1–3:10 (2016)
4. Cervesato, I., Pfenning, F.: A linear logical framework. Inf. Comput. 179(1), 19–75 (2002)
5. Crole, R.L.: The representational adequacy of Hybrid. Math. Struct. Comput. Sci. 21(3), 585–646 (2011)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献