Derivation and inference of higher-order strictness types (Q1749138): Difference between revisions

@@ Property / OpenAlex ID @@
+W1880809740
@@ Property / OpenAlex ID: W1880809740 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5284548
@@ Property / cites work: Q5284548 / rank @@
+Normal rank
@@ Property / cites work @@
+Strictness, totality, and non-standard-type inference
+Normal rank
@@ Property / cites work @@
+Q2722050
@@ Property / cites work: Q2722050 / rank @@
+Normal rank
@@ Property / cites work @@
+Making ``stricterness'' more relevant
@@ Property / cites work: Making ``stricterness'' more relevant / rank @@
+Normal rank
@@ Property / cites work @@
+Reviewing the Classical and the de Bruijn Notation for  -calculus and Pure Type Systems
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Polynomial Size Analysis of First-Order Shapely Functions
+Normal rank
@@ Property / cites work @@
+Q3787979
@@ Property / cites work: Q3787979 / rank @@
+Normal rank