The Mathematical Intelligencer Vol 31 No 1 Januray 2009
An Invitation to General Algebra and Universal Constructions
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist
Sheaves, Cosheaves and Applications
Algesheimer Et Al. - 2001 - Cryptographic Security for Mobile Code
Foundations of quantitative and real-time veritfication - Timed and Hybrid automata
Integral cryptanalysis
Applying universal algebra to lambda calculus
Algebra and topology in lambda calculus
Topological Representation of the Lambda-Calculus
Efficient Cryptographic Protocols Preventing “Man-in-the-Middle” Attacks, Phd Thesis, Jonathan Katz
Abstraction Recovery for Scalable Static Binary Analysis
2011 Jacobs Rutten New