Kripke Semantics for Martin-L\"of's Extensional Type Theory (Q3224684): Difference between revisions

@@ Property / author @@
-Steven Awodey
@@ Property / author: Steven Awodey / rank @@
-Normal rank
@@ Property / author @@
+Steven Awodey
@@ Property / author: Steven Awodey / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1702
@@ Property / arXiv ID: 1109.1702 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3224684