Relating conflict-free stable transition and event models via redex families
Theoretical Computer Science
The conflict-free reduction geometry
Theoretical Computer Science
A nonstandard standardization theorem
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Hi-index | 0.00 |