Author: Scott, D.
Title: Data Types as Lattices
Publication: SIAM Journal of Computing: Philadelphia, PA, USA
Society for Industrial and Applied Mathematics
Date: September, 1976
Dana Scott connects semantic theory (including structured knowledge representation in semantic networks or concept graphs) with number theory in a very clear and thoughtful article.