68 followers
Clones, closed categories, and combinatory logic: We give an exposition of the semantics of the simply-typed lambda-calculus, and its linear and ordered variants, using multi-ary structures. We def... https://t.co/TgqSEZCWTx
Foundations of Software Science and Computation Structures
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 From Rewrite Rules to Axioms in the $$\lambda \varPi $$ λ Π -Calculus Modulo Theory
-
Altmetric BadgeChapter 2 Light Genericity
-
Altmetric BadgeChapter 3 Logical Predicates in Higher-Order Mathematical Operational Semantics
-
Altmetric BadgeChapter 4 On Basic Feasible Functionals and the Interpretation Method
-
Altmetric BadgeChapter 5 Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems
-
Altmetric BadgeChapter 6 A Resolution-Based Interactive Proof System for UNSAT
-
Altmetric BadgeChapter 7 Craig Interpolation for Decidable First-Order Fragments
-
Altmetric BadgeChapter 8 Clones, closed categories, and combinatory logic
-
Altmetric BadgeChapter 9 Reachability in Fixed VASS: Expressiveness and Lower Bounds
-
Altmetric BadgeChapter 10 From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
-
Altmetric BadgeChapter 11 Dimension-Minimality and Primality of Counter Nets
-
Altmetric BadgeChapter 12 Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability