Bücherleihe

Jump to bottom Edit New page

Tim Baumann edited this page Jul 18, 2016 · 6 revisions

@timjb verleiht

Functional Differential Geometry von Gerald Jay Sussman, Jack Wisdom und Will Farr
The HoTT book
Purely Functional Data Structures von Chris Okasaki
Learn You a Haskell for Great Good! von Miran Lipovača
The Art of Computer Programming Band 1-4a von Donald Knuth
Logicomix
Practical Foundations for Programming Languages (2nd edition)
Implementing Mathematics with The Nuprl Proof Development System

@lukasepple verleiht

Land of Lisp als PDF