Quantitative Semantics Revisited
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Towards a semantics of proofs for non-commutative logic: multiplicatives and additives
Theoretical Computer Science - Linear logic
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
Definability and Full Abstraction
Electronic Notes in Theoretical Computer Science (ENTCS)
An Indexed System for Multiplicative Additive Polarized Linear Logic
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Hi-index | 0.01 |