A characterization of lambda definability in categorical models of implicit polymorphism (Q673121): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for Types
@@ Property / cites work: Categories for Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4029341
@@ Property / cites work: Q4029341 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619069
@@ Property / cites work: Q5619069 / rank @@
+Normal rank
@@ Property / cites work @@
+Types, abstraction, and parametric polymorphism, part 2
+Normal rank
@@ Property / cites work @@
+Q3680264
@@ Property / cites work: Q3680264 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke-style models for typed lambda calculus
@@ Property / cites work: Kripke-style models for typed lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283246
@@ Property / cites work: Q4283246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827990
@@ Property / cites work: Q3827990 / rank @@
+Normal rank
@@ Property / cites work @@
+A category-theoretic account of program modules
@@ Property / cites work: A category-theoretic account of program modules / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke logical relations and PCF
@@ Property / cites work: Kripke logical relations and PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity and local variables
@@ Property / cites work: Parametricity and local variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786612
@@ Property / cites work: Q3786612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+An intersection problem for finite automata
@@ Property / cites work: An intersection problem for finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical semantics for higher order polymorphic lambda calculus
+Normal rank
@@ Property / cites work @@
+Q3138547
@@ Property / cites work: Q3138547 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical relations and the typed λ-calculus
@@ Property / cites work: Logical relations and the typed λ-calculus / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(94)00283-o
+Normal rank
@@ Property / OpenAlex ID @@
+W2034606068
@@ Property / OpenAlex ID: W2034606068 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:673121