1![Dualities in logic and geometry The Weyl-Heisenberg algebra Calculations Dualities in logic and geometry The Weyl-Heisenberg algebra Calculations](https://www.pdfsearch.io/img/55a782c7c4baf1f51d9c42e77879d980.jpg) | Add to Reading ListSource URL: people.maths.ox.ac.ukLanguage: English - Date: 2014-08-13 10:47:43
|
---|
2![The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr](https://www.pdfsearch.io/img/db31f1bcc25bcd0f90a040a8b1d3f3b0.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2011-06-22 07:54:11
|
---|
3![On some possible mathematical connections concerning Noncommutative Minisuperspace Cosmology, Noncommutative Quantum Cosmology in low-energy String Action, Noncommutative Kantowsky-Sachs Quantum Model, Spectral Action Pr On some possible mathematical connections concerning Noncommutative Minisuperspace Cosmology, Noncommutative Quantum Cosmology in low-energy String Action, Noncommutative Kantowsky-Sachs Quantum Model, Spectral Action Pr](https://www.pdfsearch.io/img/d63d6202ef30ad9cf81bcb03d636d055.jpg) | Add to Reading ListSource URL: empslocal.ex.ac.ukLanguage: English - Date: 2008-01-16 04:37:12
|
---|
4![27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY 27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY](https://www.pdfsearch.io/img/ebb10120146cf8ec43b2cbbe85aca184.jpg) | Add to Reading ListSource URL: cs.bath.ac.ukLanguage: English - Date: 2007-12-18 10:38:50
|
---|
5![28 June[removed]Non-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨ 28 June[removed]Non-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨](https://www.pdfsearch.io/img/afa7899c78c3f103d7994dd45f97ac0a.jpg) | Add to Reading ListSource URL: cs.bath.ac.ukLanguage: English - Date: 2007-12-18 10:38:31
|
---|
6![AG16 SOME NEWS ON SUBATOMIC LOGIC Alessio Guglielmi (TU Dresden and University of Bath[removed]After our experience with the calculus of structures (CoS) [WS], we AG16 SOME NEWS ON SUBATOMIC LOGIC Alessio Guglielmi (TU Dresden and University of Bath[removed]After our experience with the calculus of structures (CoS) [WS], we](https://www.pdfsearch.io/img/7c4dcc38366f22d27dd0ff2adb141793.jpg) | Add to Reading ListSource URL: cs.bath.ac.ukLanguage: English - Date: 2007-12-18 10:37:51
|
---|
7![THE COMMUTATIVE/NONCOMMUTATIVE LINEAR LOGIC BV ALESSIO GUGLIELMI A BSTRACT . This brief survey contains an informal presentation of the commutative/noncommutative linear logic BV in terms of a naif space-temporal model. THE COMMUTATIVE/NONCOMMUTATIVE LINEAR LOGIC BV ALESSIO GUGLIELMI A BSTRACT . This brief survey contains an informal presentation of the commutative/noncommutative linear logic BV in terms of a naif space-temporal model.](https://www.pdfsearch.io/img/9d7b08f192b99e877885fb97a08f393c.jpg) | Add to Reading ListSource URL: cs.bath.ac.ukLanguage: English - Date: 2014-05-08 11:14:10
|
---|
8![A Non-commutative Extension of MELL Alessio Guglielmi and Lutz Straßburger Technische Universit¨at Dresden Fakult¨ at Informatik[removed]Dresden - Germany [removed] and Lutz.Strassburger@Inf. A Non-commutative Extension of MELL Alessio Guglielmi and Lutz Straßburger Technische Universit¨at Dresden Fakult¨ at Informatik[removed]Dresden - Germany [removed] and Lutz.Strassburger@Inf.](https://www.pdfsearch.io/img/000fab4be3323d4518514e6f5df019aa.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2005-12-02 04:44:23
|
---|
9![Linear Logic and Applications Valeria de Paiva, Josef van Genabith, Eike Ritter and Richard Crouch September 30, 1999 Linear Logic and Applications Valeria de Paiva, Josef van Genabith, Eike Ritter and Richard Crouch September 30, 1999](https://www.pdfsearch.io/img/55a6cf63b9d80531bee2cf72d7b754d4.jpg) | Add to Reading ListSource URL: www.dagstuhl.deLanguage: English - Date: 2008-10-17 09:32:38
|
---|
10![](https://www.pdfsearch.io/img/eb7fed1548ade4329011a005c8446075.jpg) | Add to Reading ListSource URL: hal.archives-ouvertes.frLanguage: English - Date: 2007-06-19 07:36:16
|
---|