Author:
Niehren Joachim,Priesnitz Tim,Su Zhendong
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Amadio, R.M., Cardelli, L.: Subtyping recursive types. ACM Transactions on Programming Languages and Systems 15(4), 575–631 (1993)
2. Ben-Ari, M., Halpern, J.Y., Pnueli, A.: Deterministic propositional dynamic logic: Finite models, complexity, and completeness. Journal of Computer and System Sciences 25(3), 402–417 (1982)
3. Blackburn, P., Gaiffe, B., Marx, M.: Variable free reasoning on finite trees. In: Proceedings of Mathematics of Language, pp. 17–30 (2003)
4. Blackburn, P., Meyer-Viol, W.: Linguistics, logic, and finite trees. Logic Journal of the IGPL 2, 3–29 (1994)
5. Eifrig, J., Smith, S., Trifonov, V.: Sound polymorphic type inference for objects. In: OOPSLA, pp. 169–184 (1995)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献