The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Linearity"( http://dblp.L3S.de/Venues/Linearity )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2009-2014 (19) 2015-2017 (10)
Publication types (Num. hits)
inproceedings(25) proceedings(4)
Venues (Conferences, Journals, ...)
LINEARITY(29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 29 publication records. Showing 29 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Iliano Cervesato, Maribel Fernández (eds.) Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016. Search on Bibsonomy LINEARITY The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antoine Allioux Krivine Machine and Taylor Expansion in a Non-uniform Setting. Search on Bibsonomy LINEARITY The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Miguel E. P. Silva, Mário Florido, Frank Pfenning Non-Blocking Concurrent Imperative Programming with Session Types. Search on Bibsonomy LINEARITY The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Max Willsey, Rokhini Prabhu, Frank Pfenning Design and Implementation of Concurrent C0. Search on Bibsonomy LINEARITY The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Quentin Heath, Dale Miller 0001 A Proof Theory for Model Checking: An Extended Abstract. Search on Bibsonomy LINEARITY The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lawrence Dunn, Jamie Vicary Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract). Search on Bibsonomy LINEARITY The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matteo Acclavio Proof diagrams for multiplicative linear logic. Search on Bibsonomy LINEARITY The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Masahito Hasegawa Linear Exponential Comonads without Symmetry. Search on Bibsonomy LINEARITY The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefano Guerrini Linear β-reduction. Search on Bibsonomy LINEARITY The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sandra Alves, Iliano Cervesato (eds.) Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. Search on Bibsonomy LINEARITY The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michele Basaldella Ludics without Designs I: Triads. Search on Bibsonomy LINEARITY The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kaustuv Chaudhuri Undecidability of Multiplicative Subexponential Logic. Search on Bibsonomy LINEARITY The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Edward Gan, Jesse A. Tov, Greg Morrisett Type Classes for Lightweight Substructural Types. Search on Bibsonomy LINEARITY The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jennifer Paykin, Steve Zdancewic A Linear/Producer/Consumer Model of Classical Linear Logic. Search on Bibsonomy LINEARITY The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Taus Brock-Nannestad, Nicolas Guenot Cut Elimination in Multifocused Linear Logic. Search on Bibsonomy LINEARITY The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ugo Dal Lago, Margherita Zorzi Wave-Style Token Machines and Quantum Lambda Calculi. Search on Bibsonomy LINEARITY The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Solieri Geometry of Resource Interaction - A Minimalist Approach. Search on Bibsonomy LINEARITY The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maribel Fernández, Sébastien Maulat Higher-order port-graph rewriting Search on Bibsonomy LINEARITY The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sandra Alves, Ian Mackie (eds.) Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012. Search on Bibsonomy LINEARITY The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Eugen Jiresch Extending the Interaction Nets Calculus by Generic Rules Search on Bibsonomy LINEARITY The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yuxin Deng, Iliano Cervesato, Robert J. Simmons Relating Reasoning Methodologies in Linear Logic and Process Algebra Search on Bibsonomy LINEARITY The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli Standardization in resource lambda-calculus Search on Bibsonomy LINEARITY The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos Linearly Refined Session Types Search on Bibsonomy LINEARITY The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maribel Fernández, Nikolaos Siafakas Labelled Lambda-calculi with Explicit Copy and Erase Search on Bibsonomy LINEARITY The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paolo Torrini, Reiko Heckel Resource-Bound Quantification for Graph Transformation Search on Bibsonomy LINEARITY The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Edsko de Vries, Adrian Francalanza, Matthew Hennessy Uniqueness Typing for Resource Management in Message-Passing Concurrency Search on Bibsonomy LINEARITY The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra On Linear Information Systems Search on Bibsonomy LINEARITY The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Gaboardi, Mauro Piccolo Categorical Models for a Semantically Linear Lambda-calculus Search on Bibsonomy LINEARITY The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mário Florido, Ian Mackie (eds.) Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009. Search on Bibsonomy LINEARITY The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #29 of 29 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license