Conference
The Relational Machine Calculus
| Title: | The Relational Machine Calculus |
|---|---|
| Authors: | Barrett, Chris, Castle, Daniel, Heijltjes, Willem |
| Source: | Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. :1-15 |
| Availability: | http://dl.acm.org/doi/10.1145/3661814.3662091 |
| Database: | ACM Full-Text Collection |
| DOI: | 10.1145/3661814.3662091 |
|---|