A Computational Introduction to Number Theory and Algebra (World Trade Organization)
Abelian Varieties, Theta Functions and the Fourier Transform (Cambridge Tracts in Mathematics)
Aggregation Functions (Encyclopedia of Mathematics and its Applications)
Categories for Types
Continuous Lattices and Domains: 93 (Encyclopedia of Mathematics and its Applications, Series Number 93)
Lambda Calculus with Types (Perspectives in Logic)
Numerical Solution of Hyperbolic Partial Differential Equations
Proofs and Computations (Perspectives in Logic)
Spectral Generalizations of Line Graphs: On Graphs with Least Eigenvalue -2: 314 (London Mathematical Society Lecture Note Series, Series Number 314)
