Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories

On artificial intelligence

Peter H. Schönemann · Behavioral and Brain Sciences · 1985 · 891 citations

Computing, Computer Science, Artificial Intelligence +2

Computational lambda-calculus and monads

Eugenio Moggi · 2003 · 858 citations

Computing, Computer Science, Algebra +13

Putting theories together to make specifications

R. M. Burstall, Joseph A. Goguen · International Joint Conference on Artificial Intelligence · 1977 · 421 citations

Computing, Computer Science, Formal Methods +9

A categorical manifesto

Joseph A. Goguen · Mathematical Structures in Computer Science · 1991 · 232 citations

Natural Sciences, Computer Science, Mathematics +11

Specifications in an arbitrary institution

Donald Sannella, Andrzej Tarlecki · Information and Computation · 1988 · 226 citations

Computing, Computer Science, Formal Methods +10