lambda-normal forms in an intensional logic for English (Q1150588): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution in type theory
@@ Property / cites work: Resolution in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A parsing method for montague grammars
@@ Property / cites work: A parsing method for montague grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q4108293
@@ Property / cites work: Q4108293 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal grammar
@@ Property / cites work: Universal grammar / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Mechanization of Second-Order Type Theory
+Normal rank