Results 11 to 20 of about 83,510 (168)
Dagger linear logic for categorical quantum mechanics [PDF]
Logical Methods in Computer Science, 2021 Categorical quantum mechanics exploits the dagger compact closed structure of finite dimensional Hilbert spaces, and uses the graphical calculus of string diagrams to facilitate reasoning about finite dimensional processes.
Robin Cockett +2 more
doaj +1 more source
Linear Abadi and Plotkin Logic [PDF]
Logical Methods in Computer Science, 2006 We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic/linear type theory with fixed points, and show, following Plotkin's suggestions, that it can be used to define a wide ...
Lars Birkedal +2 more
doaj +1 more source
A Linear/Producer/Consumer Model of Classical Linear Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 This paper defines a new proof- and category-theoretic framework for classical linear logic that separates reasoning into one linear regime and two persistent regimes corresponding to ! and ?.
Jennifer Paykin, Steve Zdancewic
doaj +1 more source
Proof Diagrams for Multiplicative Linear Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The original idea of proof nets can be formulated by means of interaction nets syntax. Additional machinery as switching, jumps and graph connectivity is needed in order to ensure correspondence between a proof structure and a correct proof in sequent ...
Matteo Acclavio
doaj +1 more source
From Linear Logic to Cyclic Sharing [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We present a translation from Multiplicative Exponential Linear Logic to a simply-typed lambda calculus with cyclic sharing. This translation is derived from a simple observation on the Int-construction on traced monoidal categories.
Masahito Hasegawa
doaj +1 more source
We know what we are, but not what we may be
The Journal for Transdisciplinary Research in Southern Africa, 2006 This essay attempts to trace a personal journey from a liberal humanist stance to an awareness of non-dualism within the altering landscape of contemporary advances in technology.
Dennis Schauffer
doaj +1 more source
Functional Interpretations of Intuitionistic Linear Logic [PDF]
Logical Methods in Computer Science, 2011 We present three different functional interpretations of intuitionistic linear logic ILL and show how these correspond to well-known functional interpretations of intuitionistic logic IL via embeddings of IL into ILL.
Gilda Ferreira, Paulo Oliva
doaj +1 more source
Cut Elimination in Multifocused Linear Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We study cut elimination for a multifocused variant of full linear logic in the sequent calculus. The multifocused normal form of proofs yields problems that do not appear in a standard focused system, related to the constraints in grouping rule ...
Taus Brock-Nannestad, Nicolas Guenot
doaj +1 more source
A Parallel Linear Temporal Logic Tableau [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 For many applications, we are unable to take full advantage of the potential massive parallelisation offered by supercomputers or cloud computing because it is too hard to work out how to divide up the computation task between processors in such a way ...
John C. McCabe-Dansted, Mark Reynolds
doaj +1 more source
Linear logical approximations [PDF]
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, 2009 The abstract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying operational semantics in a bottom-up, linear logic programming language -- a technique we call "substructural operational semantics" (SSOS) -- manifestly sound program ...
Robert J. Simmons, Frank Pfenning
openaire +1 more source