3 ms·
T. Nipkow, G. Klein, Concrete Semantics. http://concrete-semantics.org/ http://concrete-semantics.org/ B. C. Pierce et al, Software Foundations. https://softwa
by YorkshireSeason 5y ago
T. Nipkow, G. Klein, Concrete Semantics. http://concrete-semantics.org/ http://concrete-semantics.org/
B. C. Pierce et al, Software Foundations. https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/