adding a paper by luo on dot-types

2020-12-07 16:15:36 -05:00 · 2020-12-07 16:15:36 -05:00 · 43746e946b
parent dc1a4c7602
commit 43746e946b
1 changed files with 9 additions and 0 deletions
--- a/semantics.bib
+++ b/semantics.bib
@ -209,6 +209,15 @@
 	author = {Luo, Zhaohui}
 }

+@Article{luo2012formal,
+	pages = {491--513},
+	volume = {35},
+	year = {2012},
+	journal = {Linguistics and Philosophy},
+	title = {Formal semantics in modern type theories with coercive subtyping},
+	author = {Luo, Zhaohui}
+}
+
@book{lyons1977semantics,
 	title = {Semantics},
 	volume = {I--II},