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

@@ Property / author @@
-Jan Schwinghammer
@@ Property / author: Jan Schwinghammer / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / author @@
+Jan Schwinghammer
@@ Property / author: Jan Schwinghammer / rank @@
+Normal rank
@@ 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-68103-8_12
+Normal rank
@@ Property / OpenAlex ID @@
+W1566556607
@@ Property / OpenAlex ID: W1566556607 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3499758