A Mechanized Model of the Theory of Objects (Q5428912): 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-72952-5_12
+Normal rank
@@ Property / OpenAlex ID @@
+W1595713524
@@ Property / OpenAlex ID: W1595713524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490733
@@ Property / cites work: Q4490733 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4790349
@@ Property / cites work: Q4790349 / rank @@
+Normal rank
@@ Property / cites work @@
+A concurrent lambda calculus with futures
@@ Property / cites work: A concurrent lambda calculus with futures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2871859
@@ Property / cites work: Q2871859 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4671826
@@ Property / cites work: Q4671826 / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous and deterministic objects
@@ Property / cites work: Asynchronous and deterministic objects / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts
+Normal rank
@@ Property / cites work @@
+Q4223023
@@ Property / cites work: Q4223023 / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretic interpretation of pointcuts and advice
+Normal rank
@@ Property / cites work @@
+More Church-Rosser proofs (in Isabelle/HOL)
@@ Property / cites work: More Church-Rosser proofs (in Isabelle/HOL) / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank