On Normalization by Evaluation for Object Calculi (Q3499758): Difference between revisions

@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational aspects of untyped Normalisation by Evaluation
+Normal rank
@@ Property / cites work @@
+Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic model constructions and normalization proofs
+Normal rank
@@ Property / cites work @@
+Q2778829
@@ Property / cites work: Q2778829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813224
@@ Property / cites work: Q4813224 / rank @@
+Normal rank
@@ Property / cites work @@
+Denotational aspects of untyped normalization by evaluation
+Normal rank
@@ Property / cites work @@
+A delegation-based object calculus with subtyping
@@ Property / cites work: A delegation-based object calculus with subtyping / 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 @@
+Relational properties of domains
@@ Property / cites work: Relational properties of domains / rank @@
+Normal rank
@@ Property / cites work @@
+Alpha-structural recursion and induction
@@ Property / cites work: Alpha-structural recursion and induction / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and logic of object calculi
@@ Property / cites work: Semantics and logic of object calculi / rank @@
+Normal rank
@@ Property / cites work @@
+On a monadic semantics for freshness
@@ Property / cites work: On a monadic semantics for freshness / rank @@
+Normal rank