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