Author:
Gardner Philippa,Hasegawa Masahito
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. P. Aczel, Frege structures and the notions of proposition, truth and set. In The Kleene Symposium, North-Holland, 1980.
2. Z. M. Ariola and Arvind, Properties of a first-order functional language with sharing. Theoretical Computer Science 146, pages 69–108, 1995.
3. A. Barber, P. Gardner, M. Hasegawa and G. Plotkin, Action calculi, the computational λ-calculus and linear logic. Draft, 1996.
4. A. Barber, P. Gardner, M. Hasegawa and G. Plotkin, From action calculi to linear logic. Submitted, 1997.
5. A. Barber, Dual intuitionistic linear logic. Technical report ECS-LFCS-96-347, LFCS, University of Edinburgh, 1996.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献