Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Linearity-TLLA@FLoC"( http://dblp.L3S.de/Venues/Linearity-TLLA@FLoC )

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

Publication years (Num. hits)
2018 (9) 2019 (1)
Publication types (Num. hits)
inproceedings(9) proceedings(1)
Venues (Conferences, Journals, ...)
Linearity-TLLA@FLoC(10)
Authors
Valeria de Paiva(3) Giselle Reis(2) Carlos Olarte(1) Dragisa Zunic(1) Elaine Pimentel(1) Fabrizio Montesi(1) Giulio Guerrieri(1) Giulio Manzonetto(1) Harley Eades III(1) Iliano Cervesato(1) Jiaming Jiang(1) Lê Thành Dung Nguyên(1) Lorenzo Tortora de Falco(1) Luca Paolini(1) Luca Roversi(1) Marco Peressotti(1) More (+10 of total 24)
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
1Thomas 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 Linearity-TLLA@FLoC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giulio Guerrieri, Giulio Manzonetto The Bang Calculus and the Two Girard's Translations. Search on Bibsonomy Linearity-TLLA@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic Formalization of Automated Trading Systems in a Concurrent Linear Framework. Search on Bibsonomy Linearity-TLLA@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis The ILLTP Library for Intuitionistic Linear Logic. Search on Bibsonomy Linearity-TLLA@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jiaming Jiang, Harley Eades III, Valeria de Paiva On the Lambek Calculus with an Exchange Modality. Search on Bibsonomy Linearity-TLLA@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Masahito Hasegawa From Linear Logic to Cyclic Sharing. Search on Bibsonomy Linearity-TLLA@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paolo Pistone Proof nets, coends and the Yoneda isomorphism. Search on Bibsonomy Linearity-TLLA@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lê Thành Dung Nguyên, Thomas Seiller Coherent Interaction Graphs. Search on Bibsonomy Linearity-TLLA@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wen Kokke, Fabrizio Montesi, Marco Peressotti Taking Linear Logic Apart. Search on Bibsonomy Linearity-TLLA@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luca Paolini, Luca Roversi, Margherita Zorzi Quantum programming made easy. Search on Bibsonomy Linearity-TLLA@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (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