Weak typed Böhm theorem on IMLL (Q866556): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2006.06.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1615262499
@@ Property / OpenAlex ID: W1615262499 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842980
@@ Property / cites work: Q4842980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724040
@@ Property / cites work: Q2724040 / rank @@
+Normal rank
@@ Property / cites work @@
+The Typed Böhm Theorem
@@ Property / cites work: The Typed Böhm Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896506
@@ Property / cites work: Q4896506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4650583
@@ Property / cites work: Q4650583 / rank @@
+Normal rank
@@ Property / cites work @@
+Exhausting strategies, joker games and full completeness for IMLL with unit
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness, invariance and <i>λ</i>-definability
+Normal rank
@@ Property / cites work @@
+λ-definable functionals andβη conversion
@@ Property / cites work: λ-definable functionals andβη conversion / rank @@
+Normal rank
@@ Property / cites work @@
+Obsessional experiments for linear logic proof-nets
+Normal rank