Search results for "Proof-nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
69	Gianluigi Bellin, Arnaud Fleury	Planar and braided proof-nets for multiplicative linear logic with mix.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF
68	Roberto Di Cosmo, Stefano Guerrini	Strong Normalization of Proof Nets Modulo Structural Congruences.	RTA	1999	DBLP DOI BibTeX RDF	Linear Logic, Proof Nets, Strong Normalization
64	L. Habert, J.-M. Notin, Didier Galmiche	LINK: A Proof Environment Based on Proof Nets.	TABLEAUX	2002	DBLP DOI BibTeX RDF
60	Herman Geuvers, Iris Loeb	From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions.	MFCS	2006	DBLP DOI BibTeX RDF
55	Andrzej S. Murawski, C.-H. Luke Ong	Dominator Trees and Fast Verification of Proof Nets.	LICS	2000	DBLP DOI BibTeX RDF	verification of proof nets, Linear Logic, dominator trees
54	Olivier Laurent 0001	Polarized Proof-Nets: Proof-Nets for LC.	TLCA	1999	DBLP DOI BibTeX RDF
52	Andrzej S. Murawski, C.-H. Luke Ong	Fast verification of MLL proof nets via IMLL.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Multiplicative linear logic, disjoint union find, essential nets, dominator trees, proof nets
44	Kazushige Terui	Proof Nets and Boolean Circuits.	LICS	2004	DBLP DOI BibTeX RDF
43	Damiano Mazza, Michele Pagani	The Separation Theorem for Differential Interaction Nets.	LPAR	2007	DBLP DOI BibTeX RDF	Differential interaction nets, faithfulness, linear logic, observational equivalence, proof-nets
43	Jean-Marc Andreoli	Focussing Proof-Net Construction as a Middleware Paradigm.	CADE	2002	DBLP DOI BibTeX RDF	Proof construction, Focussing, Middleware, Transactions, Proof search, Proof-nets
41	Roberto Maieli	Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic.	LPAR	2007	DBLP DOI BibTeX RDF
40	Dominic J. D. Hughes, Rob J. van Glabbeek	Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract).	LICS	2003	DBLP DOI BibTeX RDF
38	Marc de Falco	An Explicit Framework for Interaction Nets.	RTA	2009	DBLP DOI BibTeX RDF
38	Olivier Laurent 0001, Roberto Maieli	Cut Elimination for Monomial MALL Proof Nets.	LICS	2008	DBLP DOI BibTeX RDF	Linear Logic, Cut Elimination, Proof Net
38	Virgile Mogbil, Vincent Rahli	Uniform Circuits, & Boolean Proof Nets.	LFCS	2007	DBLP DOI BibTeX RDF
38	Lutz Straßburger, François Lamarche	On Proof Nets for Multiplicative Linear Logic with Units.	CSL	2004	DBLP DOI BibTeX RDF
38	Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski	Proof Nets and Explicit Substitutions.	FoSSaCS	2000	DBLP DOI BibTeX RDF
38	Roberto Di Cosmo, Delia Kesner	Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract).	LICS	1997	DBLP DOI BibTeX RDF
37	Stefano Guerrini, Patrizia Marzuoli	Commutative Locative Quantifiers for Multiplicative Linear Logic.	ICALP (2)	2006	DBLP DOI BibTeX RDF	Ludics, linear logic, proof nets
37	Roberto Maieli	A new correctness criterion for multiplicative non-commutative proof nets.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
35	Paolo Di Giamberardino, Claudia Faggian	Jump from Parallel to Sequential Proofs: Multiplicatives.	CSL	2006	DBLP DOI BibTeX RDF
35	Jean-Marc Andreoli, Roberto Maieli	Fucusing and Proof-Nets in Linear and Non-commutative Logic.	LPAR	1999	DBLP DOI BibTeX RDF
34	Dominic J. D. Hughes, Rob J. van Glabbeek	Proof nets for unit-free multiplicative-additive linear logic.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Linear logic, cut elimination, additives, proof nets
34	Roberto Maieli, Quintijn Puite	Modularity of proof-nets.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Weak (or linear) distributivity, Modules, Linear logic, Proof-nets
34	Raphaël Montelatici	Polarized Proof Nets with Cycles and Fixpoints Semantics.	TLCA	2003	DBLP DOI BibTeX RDF
34	Guy Perrier	Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions.	LPAR	2001	DBLP DOI BibTeX RDF
32	Paolo Tranquilli	A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic.	CSL	2008	DBLP DOI BibTeX RDF
31	Josep M. Merenciano, Glyn Morrill	Generation as Deduction on Labelled Proof Nets.	LACL	1996	DBLP DOI BibTeX RDF
29	Beniamino Accattoli, Stefano Guerrini	Jumping Boxes.	CSL	2009	DBLP DOI BibTeX RDF
29	Quintijn Puite, Harold Schellinx	On the Jordan-Hölder decomposition of proof nets.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
29	Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath	Flow Analysis: Games and Nets.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
26	Stefano Guerrini, Simone Martini 0001, Andrea Masini	Coherence for Sharing Proof Nets.	RTA	1996	DBLP DOI BibTeX RDF
24	Lutz Straßburger	Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic.	TLCA	2009	DBLP DOI BibTeX RDF
24	Ugo Dal Lago, Luca Roversi, Luca Vercelli	Taming Modal Impredicativity: Superlazy Reduction.	LFCS	2009	DBLP DOI BibTeX RDF	Linear logic, proof theory, implicit computational complexity
23	Dominic J. D. Hughes, Willem Heijltjes	Conflict nets: Efficient locally canonical MALL proof nets.	LICS	2016	DBLP DOI BibTeX RDF
23	Willem Heijltjes, Dominic J. D. Hughes	Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets.	LICS	2015	DBLP DOI BibTeX RDF
23	Richard McKinley	Expansion Nets: Proof-Nets for Propositional Classical Logic.	LPAR (Yogyakarta)	2010	DBLP DOI BibTeX RDF
23	Pierre-Louis Curien, Claudia Faggian	L-Nets, Strategies and Proof-Nets.	CSL	2005	DBLP DOI BibTeX RDF
23	Luca Roversi, Luca Vercelli	Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets.	TYPES	2008	DBLP DOI BibTeX RDF	Structural Proof-theory, Polynomial Time Computations, Linear Logic, Implicit Computational Complexity
23	Patrick Baillot	From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing.	TLCA	2007	DBLP DOI BibTeX RDF
23	Sylvain Pogodalla	Lexicalized Proof-Nets and TAGs.	LACL	1998	DBLP DOI BibTeX RDF
23	Roberto Maieli	A Proof of the Focusing Theorem via MALL Proof Nets.	WoLLIC	2022	DBLP DOI BibTeX RDF
23	Willem Heijltjes, Robin Houston 0001	No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete.	CSL-LICS	2014	DBLP DOI BibTeX RDF
23	Didier Galmiche, J.-M. Notin	Proof-search and proof nets in Mixed Linear Logic.	Workshop on Type-Theoretic Languages: Proof Search and Semantics	2000	DBLP DOI BibTeX RDF
23	Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen	Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker.	CADE	1992	DBLP DOI BibTeX RDF
20	Paolo Tranquilli	Confluence of Pure Differential Nets with Promotion.	CSL	2009	DBLP DOI BibTeX RDF
19	Paulin Jacobé de Naurois, Virgile Mogbil	Correctness of Multiplicative Additive Proof Structures is NL-Complete.	LICS	2008	DBLP DOI BibTeX RDF	Correctness Criterion, Multiplicative Additive Linear Logic, NL-completness, Computational Complexity, proof-nets
19	Masahiro Hamano	Softness of MALL proof-structures and a correctness criterion with Mix.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Multiplicative Additive Proof-Nets, Linear Logic, Sequentialization
18	Paul-André Melliès	Functorial Boxes in String Diagrams.	CSL	2006	DBLP DOI BibTeX RDF
18	François Lamarche, Lutz Straßburger	Naming Proofs in Classical Propositional Logic.	TLCA	2005	DBLP DOI BibTeX RDF
17	Stefan Hetzl, Alexander Leitsch	Proof Transformations and Structural Invariance.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
15	Gabriele Pulcini, Achille C. Varzi	Complementary Proof Nets for Classical Logic.	Logica Universalis	2023	DBLP DOI BibTeX RDF
15	Delia Kesner	A fine-grained computational interpretation of Girard's intuitionistic proof-nets.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
15	Zilu Li, Huadong Guo, Lu Zhang 0017, Dong Liang 0005, Qi Zhu, Xvting Liu, Heng Zhou	Time-Series Monitoring of Dust-Proof Nets Covering Urban Construction Waste by Multispectral Images in Zhengzhou, China.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Richard Moot	Perspectives on neural proof nets.	CoRR	2022	DBLP DOI BibTeX RDF
15	Stefano Guerrini, Andrea Masini	Proof Nets for Classical Logic.	Notre Dame J. Formal Log.	2021	DBLP DOI BibTeX RDF
15	Yann Hamdaoui	Interpreting a concurrent λ-calculus in differential proof nets (extended version).	CoRR	2021	DBLP BibTeX RDF
15	Jules Chouquet, Lionel Vaux Auclair	An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
15	Matteo Acclavio	Exponentially Handsome Proof Nets and Their Normalization.	Linearity&TLLA@IJCAR-FSCD	2020	DBLP DOI BibTeX RDF
15	Konstantinos Kogkalidis, Michael Moortgat, Richard Moot	Neural Proof Nets.	CoRR	2020	DBLP BibTeX RDF
15	Lê Thành Dung Nguyên	Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix.	Log. Methods Comput. Sci.	2020	DBLP DOI BibTeX RDF
15	Konstantinos Kogkalidis, Michael Moortgat, Richard Moot	Neural Proof Nets.	CoNLL	2020	DBLP DOI BibTeX RDF
15	Satoshi Matsuoka	A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear Logic.	LOPSTR	2020	DBLP DOI BibTeX RDF
15	V. Michele Abrusci, Roberto Maieli	Proof nets for multiplicative cyclic linear logic and Lambek calculus.	Math. Struct. Comput. Sci.	2019	DBLP DOI BibTeX RDF
15		Proof nets through the lens of graph theory: a compilation of remarks.	CoRR	2019	DBLP BibTeX RDF
15	Jules Chouquet, Lionel Vaux Auclair	An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets.	CoRR	2019	DBLP BibTeX RDF
15	Lê Thành Dung Nguyên	Unique perfect matchings, edge-colored graphs and proof nets for linear logic with Mix.	CoRR	2019	DBLP BibTeX RDF
15	Willem Heijltjes, Dominic J. D. Hughes, Lutz Straßburger	Proof Nets for First-Order Additive Linear Logic.	FSCD	2019	DBLP DOI BibTeX RDF
15	Masahiro Hamano	Geometry of Interaction for MALL via Hughes-Van Glabbeek Proof-Nets.	ACM Trans. Comput. Log.	2018	DBLP DOI BibTeX RDF
15	Thomas Ehrhard	An introduction to differential linear logic: proof-nets, models and antiderivatives.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
15	Paolo Pistone	Proof nets, coends and the Yoneda isomorphism.	Linearity-TLLA@FLoC	2018	DBLP DOI BibTeX RDF
15	Paolo Pistone	Proof nets and the instantiation overflow property.	CoRR	2018	DBLP BibTeX RDF
15	Beniamino Accattoli	Proof Nets and the Linear Substitution Calculus.	CoRR	2018	DBLP BibTeX RDF
15	Beniamino Accattoli	Proof Nets and the Linear Substitution Calculus.	ICTAC	2018	DBLP DOI BibTeX RDF
15	Lê Thành Dung Nguyên	Unique perfect matchings and proof nets.	FSCD	2018	DBLP DOI BibTeX RDF
15	Gianluigi Bellin, Willem Heijltjes	Proof Nets for Bi-Intuitionistic Linear Logic.	FSCD	2018	DBLP DOI BibTeX RDF
15	Jules Chouquet, Lionel Vaux Auclair	An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets.	CSL	2018	DBLP DOI BibTeX RDF
15	Willem Heijltjes, Lutz Straßburger	Proof nets and semi-star-autonomous categories.	Math. Struct. Comput. Sci.	2016	DBLP DOI BibTeX RDF
15	Thomas Ehrhard	An introduction to Differential Linear Logic: proof-nets, models and antiderivatives.	CoRR	2016	DBLP BibTeX RDF
15	Richard Moot	Proof nets for the Displacement calculus.	CoRR	2016	DBLP BibTeX RDF
15	Rob J. van Glabbeek, Dominic J. D. Hughes	MALL proof nets identify proofs modulo rule commutation.	CoRR	2016	DBLP BibTeX RDF
15	Richard Moot	Proof Nets for the Displacement Calculus.	FG	2016	DBLP DOI BibTeX RDF
15	Marco Solieri	Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets. (Partage, superposition et développement : Études géométriques sur la sémantique et l'implémentation de lambda calculs et de réseaux de preuves / Condivisione, sovrapposizione e sviluppo: Studi geometrici sulla semantica e l'implementazione di lambda-calcoli e reti di dimostrazioni).		2016	RDF
15	Beniamino Accattoli	Proof nets and the call-by-value λ-calculus.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
15	Masahiro Hamano	Geometry of Interaction for MALL via Hughes-vanGlabbeek Proof-Nets.	CoRR	2015	DBLP BibTeX RDF
15	Vito Michele Abrusci, Roberto Maieli	Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing.	WoLLIC	2015	DBLP DOI BibTeX RDF
15	Vito Michele Abrusci, Roberto Maieli	Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing.	FG	2015	DBLP DOI BibTeX RDF
15	Dimitris Mostrous	Multiparty Sessions based on Proof Nets.	PLACES	2014	DBLP DOI BibTeX RDF
15	Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago	Measurements in Proof Nets as Higher-Order Quantum Circuits.	ESOP	2014	DBLP DOI BibTeX RDF
15	Thomas Ehrhard	A new correctness criterion for MLL proof nets.	CSL-LICS	2014	DBLP DOI BibTeX RDF
15	Richard McKinley	Proof Nets for Herbrand's Theorem.	ACM Trans. Comput. Log.	2013	DBLP DOI BibTeX RDF
15	Richard McKinley	Canonical proof nets for classical logic.	Ann. Pure Appl. Log.	2013	DBLP DOI BibTeX RDF
15	Michael Moortgat, Richard Moot	Proof nets for the Lambek-Grishin calculus.	Quantum Physics and Linguistics	2013	DBLP DOI BibTeX RDF
15	Matthieu Perrinel	On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets.	FOPARA	2013	DBLP DOI BibTeX RDF
15	Satoshi Matsuoka	A coding theoretic study of MLL proof nets.	Math. Struct. Comput. Sci.	2012	DBLP DOI BibTeX RDF
15	Beniamino Accattoli	Proof nets and the call-by-value lambda-calculus	LSFA	2012	DBLP DOI BibTeX RDF
15	Richard McKinley	Canonical Proof nets for Classical Logic	CoRR	2012	DBLP BibTeX RDF
15	Roberto Maieli	Bipolar Proof Nets for MALL	CoRR	2012	DBLP BibTeX RDF
15	Sean A. Fulop	A survey of proof nets and matrices for substructural logics	CoRR	2012	DBLP BibTeX RDF
15	Clément Aubert	Sublogarithmic uniform Boolean proof nets	DICE	2011	DBLP DOI BibTeX RDF