Sign Up to like & get
recommendations!
0
Published in 2017 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129516000372
Abstract: Differential linear logic enriches linear logic with additional logical rules for the exponential connectives, dual to the usual rules of dereliction, weakening and contraction. We present a proof-net syntax for differential linear logic and a…
read more here.
Keywords:
proof nets;
nets models;
differential linear;
introduction differential ... See more keywords
Sign Up to like & get
recommendations!
1
Published in 2022 at "Emerging Infectious Diseases"
DOI: 10.3201/eid2810.221075
Abstract: We report detection of cases of monkeypox virus infection in Argentina in the context of a marked increase in confounding cases of atypical hand-foot-and-mouth syndrome caused by enterovirus coxsackie A6. We recommend performing an accurate…
read more here.
Keywords:
diagnosis monkeypox;
diagnosis;
argentina 2022;
introduction differential ... See more keywords