Austin Melton

• Categorical Perspectives
• Mathematical Foundation of Programming Semantics
• Mathematical Foundation of Programming Semantics
• Mathematical Foundations of Programming Language Semantics
• Mathematical foundations of programming semantics
• Software Measurement
• Software measurement