Results 41 to 50 of about 765,231 (326)
The Hidden Structural Rules of the Discontinuous Lambek Calculus
, 2013 The sequent calculus sL for the Lambek calculus L (lambek 58) has no structural rules. Interestingly, sL is equivalent to a multimodal calculus mL, which consists of the nonassociative Lambek calculus with the structural rule of associativity. This paper
A. Avron +3 more
core +1 more source
Structural Refinement for the Modal nu-Calculus [PDF]
, 2014 We introduce a new notion of structural refinement, a sound abstraction of logical implication, for the modal nu-calculus. Using new translations between the modal nu-calculus and disjunctive modal transition systems, we show that these two specification
A.N. Prior +20 more
core +4 more sources
Information Processing Letters, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
von Karger, B, Hoare, C
openaire +2 more sources
Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
, 2013 This paper extends the dual calculus with inductive types and coinductive types. The paper first introduces a non-deterministic dual calculus with inductive and coinductive types. Besides the same duality of the original dual calculus, it has the duality
Kimura, Daisuke, Tatsuta, Makoto
core +1 more source
Superdevelopments for Weak Reduction [PDF]
, 2010 We study superdevelopments in the weak lambda calculus of Cagman and Hindley, a confluent variant of the standard weak lambda calculus in which reduction below lambdas is forbidden. In contrast to developments, a superdevelopment from a term M allows not
Barenbaum, Pablo, Bonelli, Eduardo
core +2 more sources
A Fully Abstract Symbolic Semantics for Psi-Calculi
, 2010 We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics.
A. M. Pitts +26 more
core +3 more sources
, 2020 36 pages, to appear in the Handbook of Homotopy ...
Arone, Gregory, Ching, Michael
openaire +3 more sources
A Lost Theorem: Definite Integrals in Asymptotic Setting [PDF]
, 2008 We present a simple yet rigorous theory of integration that is based on two axioms rather than on a construction involving Riemann sums. With several examples we demonstrate how to set up integrals in applications of calculus without using Riemann sums ...
Cavalcante, Ray, Todorov, Todor D.
core +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT We sought to identify potential early risk biomarkers for lung disease in children post‐allogeneic HCT. Patients with pulmonary function tests 3 months post‐transplant and plasma samples between days 7 and 14 post‐HCT were included. Six of 27 subjects enrolled had reduced forced expiratory volume 1 (FEV1) z scores.
Isabella S. Small +3 more
wiley +1 more source
Discover EducationA thorough graph-theoretical framework for studying student interaction patterns in educational environments is presented in this work. Inspired by ideas from network science and social network analysis, we create a formal mathematical model in which ...
Najim Oumelaid +2 more
doaj +1 more source