Type-theoretical Semantics of Some Declarative Languages

Grigori Mints, Jan M. Smith, Enn Tyugu. Type-theoretical Semantics of Some Declarative Languages. In Janis Barzdins, Dines Bjørner, editors, Baltic Computer Science, Selected Papers. Volume 502 of Lecture Notes in Computer Science, pages 18-32, Springer, 1991.

Abstract

Abstract is missing.