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