Investigations on the dual calculus (Q2503329): Difference between revisions

@@ Property / author @@
-Nikos Tzevelekos
@@ Property / author: Nikos Tzevelekos / rank @@
-Normal rank
@@ Property / author @@
+Nikos Tzevelekos
@@ Property / author: Nikos Tzevelekos / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / 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.1016/j.tcs.2006.04.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2058375937
@@ Property / OpenAlex ID: W2058375937 / rank @@
+Normal rank
@@ Property / cites work @@
+A symmetric lambda calculus for classical program extraction
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Some lambda calculi with categorical sums and products
+Normal rank
@@ Property / cites work @@
+The revised report on the syntactic theories of sequential control and state
+Normal rank
@@ Property / cites work @@
+Declarative continuations: An investigation of duality in programming language semantics
+Normal rank
@@ Property / cites work @@
+The Expressiveness of Simple and Second-Order Type Structures
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472466
@@ Property / cites work: Q4472466 / rank @@
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Control categories and duality: on the categorical semantics of the lambda-mu calculus
+Normal rank
@@ Property / cites work @@
+Continuations: A mathematical semantics for handling full jumps
+Normal rank
@@ Property / cites work @@
+Call-by-value is dual to call-by-name
@@ Property / cites work: Call-by-value is dual to call-by-name / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2503329