|
|
Venues (Conferences, Journals, ...)
|
|
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 |
1 | Iliano Cervesato, Maribel Fernández (eds.) |
Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Allioux |
Krivine Machine and Taylor Expansion in a Non-uniform Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 24-32, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Miguel E. P. Silva, Mário Florido, Frank Pfenning |
Non-Blocking Concurrent Imperative Programming with Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 64-72, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Max Willsey, Rokhini Prabhu, Frank Pfenning |
Design and Implementation of Concurrent C0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 73-82, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Heath, Dale Miller 0001 |
A Proof Theory for Model Checking: An Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 1-10, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence Dunn, Jamie Vicary |
Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 33-43, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Acclavio |
Proof diagrams for multiplicative linear logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 11-23, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Masahito Hasegawa |
Linear Exponential Comonads without Symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 54-63, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Guerrini |
Linear β-reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 44-53, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Alves, Iliano Cervesato (eds.) |
Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michele Basaldella |
Ludics without Designs I: Triads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 49-63, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kaustuv Chaudhuri |
Undecidability of Multiplicative Subexponential Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 1-8, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Edward Gan, Jesse A. Tov, Greg Morrisett |
Type Classes for Lightweight Substructural Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 34-48, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jennifer Paykin, Steve Zdancewic |
A Linear/Producer/Consumer Model of Classical Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 9-23, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Taus Brock-Nannestad, Nicolas Guenot |
Cut Elimination in Multifocused Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 24-33, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Margherita Zorzi |
Wave-Style Token Machines and Quantum Lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 64-78, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Solieri |
Geometry of Resource Interaction - A Minimalist Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 79-94, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Sébastien Maulat |
Higher-order port-graph rewriting ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012., pp. 25-37, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Alves, Ian Mackie (eds.) |
Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eugen Jiresch |
Extending the Interaction Nets Calculus by Generic Rules ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012., pp. 12-24, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yuxin Deng, Iliano Cervesato, Robert J. Simmons |
Relating Reasoning Methodologies in Linear Logic and Process Algebra ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012., pp. 50-60, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli |
Standardization in resource lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012., pp. 1-11, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos |
Linearly Refined Session Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012., pp. 38-49, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Nikolaos Siafakas |
Labelled Lambda-calculi with Explicit Copy and Erase ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009., pp. 49-64, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Torrini, Reiko Heckel |
Resource-Bound Quantification for Graph Transformation ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009., pp. 14-25, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Edsko de Vries, Adrian Francalanza, Matthew Hennessy |
Uniqueness Typing for Resource Management in Message-Passing Concurrency ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009., pp. 26-37, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra |
On Linear Information Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009., pp. 38-48, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gaboardi, Mauro Piccolo |
Categorical Models for a Semantically Linear Lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009., pp. 1-13, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mário Florido, Ian Mackie (eds.) |
Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|