Some notes on "Operational semantics for order-sorted algebra"
Some notes on "Operational semantics for order-sorted algebra"
William Roberts
Details
OL Work ID
OL2578785W
Find this book
Open Library