The differential \(\lambda \mu\)-calculus (Q2373711): Difference between revisions

@@ Property / cites work @@
+Q3221960
@@ Property / cites work: Q3221960 / rank @@
+Normal rank
@@ Property / cites work @@
+An environment machine for the λμ-calculus
@@ Property / cites work: An environment machine for the λμ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic extensions of untyped \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+λμ-calculus and Böhm's theorem
@@ Property / cites work: λμ-calculus and Böhm's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On Köthe sequence spaces and linear logic
@@ Property / cites work: On Köthe sequence spaces and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness spaces
@@ Property / cites work: Finiteness spaces / rank @@
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Uniformity and the Taylor expansion of ordinary lambda-terms
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Polarized proof-nets and \(\lambda \mu\)-calculus
@@ Property / cites work: Polarized proof-nets and \(\lambda \mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264064
@@ Property / cites work: Q4264064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Classical logic, continuation semantics and abstract machines
+Normal rank
@@ Property / cites work @@
+The algebraic lambda calculus
@@ Property / cites work: The algebraic lambda calculus / rank @@
+Normal rank