Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
Information and Computation
Semantically linear programming languages
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Information and Computation
| Hi-index | 0.00 |