Author:
Tsukada Takeshi,Kobayashi Naoki
Publisher
Springer Berlin Heidelberg
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Intersection types and (positive) almost-sure termination;Proceedings of the ACM on Programming Languages;2021-01-04
2. On Intersection Types and Probabilistic Lambda Calculi;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03
3. Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata;Developments in Language Theory;2016