A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators (Q3540185): 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.1007/978-3-540-87531-4_21
+Normal rank
@@ Property / OpenAlex ID @@
+W1512100133
@@ Property / OpenAlex ID: W1512100133 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of lambda definability in categorical models of implicit polymorphism
+Normal rank
@@ Property / cites work @@
+Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304740
@@ Property / cites work: Q4304740 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to distributive categories
@@ Property / cites work: Introduction to distributive categories / rank @@
+Normal rank
@@ Property / cites work @@
+A reflection theorem for closed categories
@@ Property / cites work: A reflection theorem for closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263868
@@ Property / cites work: Q4263868 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281477
@@ Property / cites work: Q4281477 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / 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 @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Parametric polymorphism and operational equivalence
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories and Computer Science
@@ Property / cites work: Categories and Computer Science / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3540185