Software Foundations, Volume 1: Logical Foundations by Arthur Azevedo de Amorim, Marco Gaboardi, Cătălin Hriţcu, Chris Casinghino, Vilhelm Sjöberg, Brent Yorgey, Benjamin C. Pierce, Michael Greenberg

Software Foundations, Volume 1: Logical Foundations

Software Foundations #1

Arthur Azevedo de Amorim, Marco Gaboardi, Cătălin Hriţcu, Chris Casinghino, Vilhelm Sjöberg, Brent Yorgey, Benjamin C. Pierce, Michael Greenberg

325 pages • first pub 2017 (editions)

computer science informative slow-paced
Powered by AI (Beta)
Loading...

Description

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.Logical Foundations serves as the entry-point to the series. It covers functional programming, basic concepts of logic, computer-assiste...

Read more

Community Reviews

Loading...

Content Warnings

Loading...