Software Foundations (books on logic and semantics of programming languages)

logic, mathematics, theoretical-computer-science, programming

affine March 24, 2024, 8:55am 1

https://softwarefoundations.cis.upenn.edu/

Home
Categories
Guidelines

Powered by Discourse, best viewed with JavaScript enabled