Searching for "Winskel is (almost) Right Towards a Mechanized Semantics." – sorted by Relevance.
-
Winskel is (almost) Right - Towards a Mechanized Semantics Textbook
- Formal Aspects of Computing (1998) 3: 1--000 c fl 1998 BCS Winskel is (almost) Right Towards a
- Cited by 34 (12 self) – Add To MetaCart
-
Winskel is (almost) Right
- Winskel is (almost) Right Towards a Mechanized Semantics Textbook Tobias Nipkow ? Abstract. We
- Add To MetaCart

