Results 151 to 160 of about 83,510 (168)

Soft linear logic and polynomial time

Theoretical Computer Science, 2004
Yves Lafont
exaly  

Glueing and orthogonality for models of linear logic

Theoretical Computer Science, 2003
Martin Hyland
exaly  

Universal Linear-Optical Logic Gate with Maximal Intensity Contrast Ratios

ACS Photonics, 2018
Jianjun Chen, Zhi Li, Changnan Peng
exaly  

Chu spaces as a semantic bridge between linear logic and mathematics

Theoretical Computer Science, 2003
Vaughan Pratt
exaly  

Distributed concurrent linear logic programming

Theoretical Computer Science, 1999
Naoki Kobayashi, Akinori Yonezawa
exaly  

Linear logic as logic programming: An abstract

Lecture Notes in Computer Science, 2006
Dale Miller, Miller Dale
exaly  

Linear logic as a logical framework

2017
Logical frameworks have seen three decades of design, theory, implementation , and applications. An early example of such a framework was LF (Honsell, Harper, & Plotkin, LICS 1987): that dependently typed λ-calculus provided a framework for defining the syntax of terms and formulas as well as natural deduction proofs in various intuitionistic logics ...
openaire   +1 more source

FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY

International Journal of Foundations of Computer Science, 1991
JOSÉ Meseguer
exaly  

Quantized Linear Logic, Involutive Quantales and Strong Negation

Studia Logica, 2004
Norihiro Kamide, Kamide Norihiro
exaly  

A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications

IEEE Transactions on Automatic Control, 2008
Calin Belta, Marius Kloetzer
exaly