De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case (Q1763159): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2004.01.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2082949147
@@ Property / OpenAlex ID: W2082949147 / rank @@
+Normal rank
@@ Property / cites work @@
+CPS transformation of beta-redexes
@@ Property / cites work: CPS transformation of beta-redexes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281472
@@ Property / cites work: Q4281472 / rank @@
+Normal rank
@@ Property / cites work @@
+Postponement, conservation and preservation of strong normalization for generalized reduction
+Normal rank
@@ Property / cites work @@
+De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case
+Normal rank
@@ Property / cites work @@
+On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations
+Normal rank
@@ Property / cites work @@
+A useful \(\lambda\)-notation
@@ Property / cites work: A useful \(\lambda\)-notation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259970
@@ Property / cites work: Q4259970 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707989
@@ Property / cites work: Q3707989 / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of ML typability
@@ Property / cites work: An analysis of ML typability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501151
@@ Property / cites work: Q4501151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+An equivalence between lambda- terms
@@ Property / cites work: An equivalence between lambda- terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501161
@@ Property / cites work: Q4501161 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong normalization from weak normalization in typed \(\lambda\)-calculi
+Normal rank