|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, Lorenzo Tortora de Falco (eds.) |
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Guerrieri, Giulio Manzonetto |
The Bang Calculus and the Two Girard's Translations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 15-30, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic |
Formalization of Automated Trading Systems in a Concurrent Linear Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 1-14, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis |
The ILLTP Library for Intuitionistic Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 118-132, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jiaming Jiang, Harley Eades III, Valeria de Paiva |
On the Lambek Calculus with an Exchange Modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 43-89, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Masahito Hasegawa |
From Linear Logic to Cyclic Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 31-42, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Pistone |
Proof nets, coends and the Yoneda isomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 148-167, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lê Thành Dung Nguyên, Thomas Seiller |
Coherent Interaction Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 104-117, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wen Kokke, Fabrizio Montesi, Marco Peressotti |
Taking Linear Logic Apart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 90-103, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luca Paolini, Luca Roversi, Margherita Zorzi |
Quantum programming made easy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 133-147, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|