Most Popular Books
- Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
- The Blind Spot: Lectures on Logic
- Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science)
- Immortal Element
- Claudette Dion. la Soeur de...
