An introduction to differential linear logic: proof-nets, models and antiderivatives
Sign Up to like & getrecommendations! 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
Application of insect-proof nets in pesticide-free rice creates an altered microclimate and differential agronomic performance
Sign Up to like & getrecommendations! Published in 2018 at "PeerJ"
DOI: 10.7717/peerj.6135
Abstract: Background Insect-proof nets are commonly used in crop production and scientific research because of their environmental, economic, and agronomic benefits. However, insect-proof nets can unintentionally alter the microclimate inside the screenhouse and therefore greatly affect… read more here.
Keywords: proof nets; agronomic performance; insect proof; rice ... See more keywords