A scalable module system

Proceedings of the 19th International Joint Conference on Artificial Intelligence

Josep M. Pujol, Jordi Delgado, Ramón Sangüesa et al. · International Joint Conference on Artificial Intelligence · 2005 · 5.8K citations

Artificial Intelligence, Engineering, Automated Reasoning +4

A formulation of the simple theory of types

Alonzo Church · Journal of Symbolic Logic · 1940 · 1.9K citations

Automated Reasoning, Type Theory, Mathematical Foundations +6

The calculus of constructions

Thierry Coquand, Gérard Huet · Information and Computation · 1988 · 1.1K citations

Syntax, Automated Reasoning, Type Theory +4

Institutions: abstract model theory for specification and programming

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

Engineering, Well-founded Semantics, Higher-order Logic +21

A Framework for Defining Logics

Furio Honsell · Institutional Research Information System (University of Udine) · 1993 · 968 citations