Author:
Baillot Patrick,Terui Kazushige
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference39 articles.
1. Light affine logic;Asperti,1998
2. Intuitionistic light affine logic;Asperti;ACM Transactions on Computational Logic,2002
3. Verification of P time reducibility for system F terms via dual light affine logic;Atassi,2006
4. Verification of P time reducibility for system F terms: type inference in dual light affine logic;Atassi;Logical Methods in Computer Science,2007
5. Stratified coherence spaces: a denotational semantics for light linear logic;Baillot;Theoretical Computer Science,2004
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献