Meeting of the Association for Symbolic Ldgic, Washington, DC, 1985 (Q3755422): Difference between revisions

@@ Property / cites work @@
+Q4117768
@@ Property / cites work: Q4117768 / rank @@
+Normal rank
@@ Property / cites work @@
+Progress report on generalized functionality
@@ Property / cites work: Progress report on generalized functionality / rank @@
+Normal rank
@@ Property / cites work @@
+The Expressiveness of Simple and Second-Order Type Structures
+Normal rank
@@ Property / cites work @@
+Information storage and retrieval systems: Mathematical foundations
+Normal rank
@@ Property / cites work @@
+Intuitionist type theory and the free topos
@@ Property / cites work: Intuitionist type theory and the free topos / rank @@
+Normal rank