• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Elaine Pimentel, Carlos Olarte, and Vivek Nigam. Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). In 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference), pp. 3:1–3:21, LIPIcs 195, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[PDF] [gzipped postscript] [postscript] [HTML]
(unavailable)
@inproceedings{pimentel21fscd,
author = {Elaine Pimentel and
Carlos Olarte and
Vivek Nigam},
editor = {Naoki Kobayashi},
title = {Process-As-Formula Interpretation: {A} Substructural Multimodal View
(Invited Talk)},
booktitle = {6th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2021, July 17-24, 2021, Buenos Aires, Argentina
(Virtual Conference)},
series = {LIPIcs},
volume = {195},
pages = {3:1--3:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2021.3},
doi = {10.4230/LIPIcs.FSCD.2021.3},
timestamp = {Tue, 06 Jul 2021 15:54:59 +0200},
bib2html_pubtype = {Refereed Conference/Workshop},
bib2html_rescat = {Logical Frameworks},
bib2html_dl_pdf = "/docs/fscd21.pdf"
}
Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57