Author:
Sato Masahiko,Sakurai Takafumi,Kameyama Yukiyoshi,Igarashi Atsushi
Publisher
Springer Berlin Heidelberg
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Poetics of Physics;Philosophies;2023-01-05
2. Multi-level Contextual Type Theory;Electronic Proceedings in Theoretical Computer Science;2011-10-31
3. Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables;Mathematical Structures in Computer Science;2011-05-27
4. Truth and Knowledge;Treatise on Intuitionistic Type Theory;2011
5. The lambda-context calculus (extended version);Information and Computation;2009-12