What is a Logic Translation?

Abstract and Concrete Categories.

Gabriele Castellini, Horst Herrlich, G. E. Strecker · American Mathematical Monthly · 1991 · 1.4K citations

Natural Sciences, Mathematics, Semantics +11

CATEGORIES FOR THE WORKING MATHEMATICIAN

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

Natural Sciences, Mathematics, Algebra +7

Introduction to Higher Order Categorical Logic.

J. L. Bell, J. Lambek, Philip Scott · Journal of Symbolic Logic · 1989 · 1.1K citations

Humanities, Mathematics, Logic +11

FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

F. William Lawvere · Proceedings of the National Academy of Sciences · 1963 · 1.1K citations · Full text

Natural Sciences, Computer Science, Mathematics +12

Institutions: abstract model theory for specification and programming

Joseph A. Goguen, R. M. Burstall · Journal of the ACM · 1992 · 988 citations · Full text

Computing, Computer Science, Formal Methods +13