A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Signatures have been introduced to represent situations in the formal semantics based on modern type theories. In this paper, we study the notion of signature in more details, presenting it formally and discussing its use in representations of situations. In particular, the new forms of signature entries, the subtyping entries and the manifest entries, are formally studied and the corresponding extensions are shown to enjoy the nice meta-theoretical properties. Besides being signature entries,doi:10.1007/978-3-662-48119-6_13 fatcat:wgonlfjbhzcj7nkfsxkxkpasei