Skip to content

Latest commit

 

History

History
96 lines (79 loc) · 5.38 KB

theoretical-computer-science.md

File metadata and controls

96 lines (79 loc) · 5.38 KB

Bookmarks tagged [theoretical-computer-science]

www.codever.land/bookmarks/t/theoretical-computer-science

Think Complexity

http://www.greenteapress.com/compmod/

Allen B. Downey

Structure and Interpretation of Computer Programs

http://sarabander.github.io/sicp/html/index.xhtml

Structure and Interpretation of Computer Programs

https://mitpress.mit.edu/sicp/

Semantics with Applications: A Formal Introduction

http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html

Hanne Riis Nielson, Flemming Nielson

Programming Languages: Application and Interpretation (2nd Edition)

http://cs.brown.edu/~sk/Publications/Books/ProgLangs/

Programming in Martin-Löf's Type Theory

http://www.cse.chalmers.se/research/group/logic/book/

Bengt Nordstroem

Principles of Programming Languages

https://web.archive.org/web/20150418034451/http://www.cs.jhu.edu/~scott/pl/book/dist/

Scott F. Smith

Programming and Programming Languages

http://papl.cs.brown.edu/2014/index.html

Shriram Krishnamurthi

Practical Foundations for Programming Languages, Preview

https://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf

Robert Harper (PDF)

Models of Computation

http://cs.brown.edu/people/jes/book/

John E. Savage

Introduction to Theory of Computation

http://cglab.ca/~michiel/TheoryOfComputation/

Anil Maheshwari and Michiel Smid (PDF)

Introduction to Computing

http://www.computingbook.org

Introduction to Computer Science

http://www.cse.iitd.ernet.in/~suban/CSL102/

Prof. Subhashis Banerjee, IIT Delhi

Homotopy Type Theory: Univalent Foundations of Mathematics

http://homotopytypetheory.org/book/

(PDF)

Category Theory for Computing Science

http://www.tac.mta.ca/tac/reprints/articles/22/tr22.pdf

(PDF)

Building Blocks for Theoretical Computer Science

http://mfleck.cs.illinois.edu/building-blocks/index.html

Margaret M. Fleck