Josias Iquabius iquabius

## erik-meijer-books.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                iquabius
                / erik-meijer-books.md
            
            
              Created
              July 27, 2017 13:48
            
              
                Erik Meijer’s List of Recommended Books
              
          
    Erik Meijer’s List of Recommended Books


Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
Mathematical Theory of Programme Correctness (Prentice-Hall International series in computer science)
The Haskell School of Expression: Learning Functional Programming through Multimedia
LaTeX: A Document Preparation System (2nd Edition)
Denotational Semantics
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Programs and Machines
The Denotational Description of Programming Languages: An Introduction