Samson Abramsky | Bookhype

Jan 15, 2014

Cover of Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Dec 2000

Cover of Handbook of Logic in Computer Science

Handbook of Logic in Computer Science

Jan 15, 1989

Cover of Patterns in the Structure of Mammalian Communities BR

Patterns in the Structure of Mammalian Communities BR

Nov 18, 1987

Cover of Abstract Interpretation of Declarative Languages

Abstract Interpretation of Declarative Languages (Ellis Horwood Series in Computers and Their Applications)