Author:
van Bakel Steffen,Fernández Maribel
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Nominal essential intersection types;Theoretical Computer Science;2018-08
2. Typed Nominal Rewriting;ACM Transactions on Computational Logic;2018-02-15
3. Encoding the Factorisation Calculus;Electronic Proceedings in Theoretical Computer Science;2015-08-26
4. A liberal type system for functional logic programs;Mathematical Structures in Computer Science;2014-11-10
5. A metamodel of access control for distributed environments: Applications and properties;Information and Computation;2014-11