Acta Informatica 21, Springer-Verlag 1984 A Set-Theoretic Semantics for Clear D.T. Sannella Department of Computer Science,University of Edinburgh. James Clerk Maxwell Building, - Model building - Document - PDFSEARCH.IO

First Page	Meta Content
	Acta Informatica 21, Springer-Verlag 1984 A Set-Theoretic Semantics for Clear D.T. Sannella Department of Computer Science,University of Edinburgh. James Clerk Maxwell Building, Add to Reading List Document Date: 2008-08-20 12:26:38 Open Document File Size: 1,51 MB Share Result on Facebook City s~S / Edinburgh / / Company aES / / Country United Kingdom / / Facility University of Edinburgh / / IndustryTerm empty carrier / / Organization University of Edinburgh / Clear D.T. Sannella Department of Computer Science / CO NS / / Person Nat / James Clerk / / Position author / general data constraints / / ProgrammingLanguage EC / / Technology LAN / / SocialTag Mathematical structures Algebraic structures Model theory Denotational semantics Structure Sheaf ALGOL 68 Universal algebra Vienna Development Method Mathematics

Acta Informatica 21, Springer-Verlag 1984 A Set-Theoretic Semantics for Clear D.T. Sannella Department of Computer Science,University of Edinburgh. James Clerk Maxwell Building,Add to Reading List