@TechReport{droste_et_al:DagSemRep.16, author = {Droste, Manfred and Gurevich, Yuri}, title = {{Semantics of Programming Languages and Model Theory (Dagstuhl Seminar 9126)}}, pages = {1--24}, ISSN = {1619-0203}, year = {1991}, type = {Dagstuhl Seminar Report}, number = {16}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.16}, URN = {urn:nbn:de:0030-drops-149042}, doi = {10.4230/DagSemRep.16}, }