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.
@inproceedings{MintsST91, title = {Type-theoretical Semantics of Some Declarative Languages}, author = {Grigori Mints and Jan M. Smith and Enn Tyugu}, year = {1991}, tags = {semantics}, researchr = {https://researchr.org/publication/MintsST91}, cites = {0}, citedby = {0}, pages = {18-32}, booktitle = {Baltic Computer Science, Selected Papers}, editor = {Janis Barzdins and Dines Bjørner}, volume = {502}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-54131-4}, }