Some notes on "Operational semantics for order-sorted algebra"
Ediciones (1)
- Some notes on "Operational semantics for order-sorted algebra".
Queen Mary College, Department of Computer Science and Statistics · inglés
Queen Mary College, Department of Computer Science and Statistics · inglés