Using Signatures in Type Theory to Represent Situations

Stergios Chatzikyriakidis, Zhaohui Luo

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Original language	English
Title of host publication	JSAI International Symposium on Artificial Intelligence
Pages	172-183
Number of pages	12
ISBN (Electronic)	978-3-662-48119-6
DOIs	https://doi.org/10.1007/978-3-662-48119-6_13
Publication status	Published - 2014

Access to Document

@inbook{fe6b31f394364972807b357d0440ddfb,

title = "Using Signatures in Type Theory to Represent Situations",

author = "Stergios Chatzikyriakidis and Zhaohui Luo",

year = "2014",

doi = "10.1007/978-3-662-48119-6_13",

language = "English",

isbn = "978-3-662-48118-9",

pages = "172--183",

booktitle = "JSAI International Symposium on Artificial Intelligence",

}