Inhabitation of polymorphic and existential types (Q636375): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2010.04.009
+Normal rank
@@ Property / OpenAlex ID @@
+W1983087803
@@ Property / OpenAlex ID: W1983087803 / rank @@
+Normal rank
@@ Property / cites work @@
+Eigenvariables, bracketing and the decidability of positive minimal predicate logic
+Normal rank
@@ Property / cites work @@
+Q4263869
@@ Property / cites work: Q4263869 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Parametricity and Control
@@ Property / cites work: Relational Parametricity and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding first order predicate logic in fragments of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Non-strictly positive fixed points for classical natural deduction
+Normal rank
@@ Property / cites work @@
+Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence
+Normal rank
@@ Property / cites work @@
+A simple proof of second-order strong normalization with permutative conversions
+Normal rank
@@ Property / cites work @@
+Simple Saturated Sets for Disjunction and Second-Order Existential Quantification
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024919
@@ Property / cites work: Q3024919 / rank @@
+Normal rank
@@ Property / cites work @@
+Typability and type checking in System F are equivalent and undecidable
+Normal rank