librarian a book library

Rohit Parikh on Logic, Language and Society Understanding Acoustics: An Experimentalist's View of Acoustics and Vibration Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics Type-driven Development with Idris
La paranza dei bambini Deep Thinking: Where Machine Intelligence Ends and Human Creativity Begins Introduction to Computer Music Category Theory [Lecture notes]
If This Is A Man/The Truce The Red Limit: The Search for the Edge of the Universe Surveys in Differential-Algebraic Equations IV Computations and Combinatorics in Commutative Algebra: EACA School, Valladolid 2013

Library Size: 80G (3743 books), Last Updated: Apr 09, 2026, 18:31:04, Build Time: N/A badge
[show logs] [hide logs]