The category-theoretic solution of recursive metric-space equations

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Computing, Computer Science, Formal Methods +16

CATEGORIES FOR THE WORKING MATHEMATICIAN

A. Bowtell · Bulletin of the London Mathematical Society · 1974 · 1.3K citations

Natural Sciences, Mathematics, Algebra +7

Imperative functional programming

Simon Jones, Philip Wadler · 1993 · 1.2K citations · Full text

Computing, Computer Engineering, Computer Science +15

The Category-Theoretic Solution of Recursive Domain Equations

Michael Smyth, Gordon Plotkin · SIAM Journal on Computing · 1982 · 485 citations

Natural Sciences, Mathematics, Algebra +15

Metrics for labelled Markov processes

Josée Desharnais, Vineet Gupta, Radha Jagadeesan et al. · Theoretical Computer Science · 2003 · 309 citations

Engineering, Computer Science, Mathematics +4