Proof nets and the call-by-value λ-calculus
Article in Theoretical Computer Science (November 2015)
The most recent citing publication is shown below. View this citation on Dimensions.
Logic, Language, Information, and Computation
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Quantum State Transformations and Branching Distributed Temporal Logic
-
Altmetric BadgeChapter 2 Definability for Downward and Vertical XPath on Data Trees
-
Altmetric BadgeChapter 3 On the Value of Variables
-
Altmetric BadgeChapter 4 Logics with Copy and Remove
-
Altmetric BadgeChapter 5 Unranked Second-Order Anti-Unification
-
Altmetric BadgeChapter 6 Reinstatement and the Requirement of Maximal Specificity in Argument Systems
-
Altmetric BadgeChapter 7 Sequentialization for N-Graphs via Sub-N-Graphs
-
Altmetric BadgeChapter 8 Interrogative Dependencies and the Constructive Content of Inquisitive Proofs
-
Altmetric BadgeChapter 9 Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
-
Altmetric BadgeChapter 10 Ancestral Logic: A Proof Theoretical Study
-
Altmetric BadgeChapter 11 A Calculus of Anyons
-
Altmetric BadgeChapter 12 Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars
-
Altmetric BadgeChapter 13 Common Knowledge Semantics of Armstrong’s Axioms
-
Altmetric BadgeChapter 14 On Distributed Stochastic Logics for Mobile Systems
-
Altmetric BadgeChapter 15 On the Construction of Analytic Sequent Calculi for Sub-classical Logics
-
Altmetric BadgeChapter 16 On the Broader Epistemological Significance of Self-Justifying Axiom Systems
Attention for Chapter 8:
Interrogative Dependencies and the Constructive Content of Inquisitive Proofs