About permutation algebras, (pre)sheaves and named sets

Notions of computation and monads

Eugenio Moggi · Information and Computation · 1991 · 1.7K citations

Algebraic Logic, Engineering, Automated Reasoning +4

Universal coalgebra: a theory of systems

J.J.M.M. Rutten · Theoretical Computer Science · 2000 · 1.2K citations

Algebraic Logic, Hopf Algebra, Universal Algebra +1

A New Approach to Abstract Syntax with Variable Binding

Murdoch J. Gabbay, Andrew M. Pitts · Formal Aspects of Computing · 2002 · 544 citations · Full text

Nominal logic, a first order theory of names and binding

Andrew M. Pitts · Information and Computation · 2003 · 414 citations

Formal Semantics, Syntax, Automated Reasoning +9

A sequent calculus for nominal logic

Murdoch J. Gabbay, James Cheney · Logic in Computer Science · 2004 · 306 citations

Non-classical Logic, Syntax, Engineering +14