Winskel is (almost) Right: Towards a Mechanized Semantics Textbook
Work
Year: 1998
Type: article
Source: Formal Aspects of Computing
Author Tobias Nipkow
Institution Technical University of Munich
Cites: 18
Cited by: 76
Related to: 10
FWCI: 3.254
Citation percentile (by year/subfield): 95.73
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: bronze