Linear logic

Authors:
Alex Wright
Affiliations:
Brooklyn, NY
Venue:
Communications of the ACM
Year:
2010

Citing 3
Cited 0

Linear logic

Theoretical Computer Science
Full Abstraction for PCF

TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Decision problems for propositional linear logic

SFCS '90 Proceedings of the 31st Annual Symposium on Foundations of Computer Science

Quantified Score

Hi-index	48.22

Visualization

Abstract

A novel approach to computational logic is reaching maturity, opening up opening up new vistas in programming languages, proof nets, and security applications.