المؤلفون: Barbanera, Franco, Dezani-Ciancaglini, Mariangiola

المصدر: EPTCS 383, 2023, pp. 15-34

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.1.2, F.3.2, F.3.3

URL الوصول: http://arxiv.org/abs/2308.10653

المؤلفون: Barbanera, Franco^Aff27, Dezani-Ciancaglini, Mariangiola^Aff28, de’Liguoro, Ugo^Aff28, Venneri, Betti^Aff29

المساهمون: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, van Leeuwen, Jan, Series Editor^Aff3, Hutchison, David, Editorial Board Member^Aff4, Kanade, Takeo, Editorial Board Member^Aff5, Kittler, Josef, Editorial Board Member^Aff6, Kleinberg, Jon M., Editorial Board Member^Aff7, Kobsa, Alfred, Series Editor^Aff8, Mattern, Friedemann, Editorial Board Member^Aff9, Mitchell, John C., Editorial Board Member^Aff10, Naor, Moni, Editorial Board Member^Aff11, Nierstrasz, Oscar, Series Editor^Aff12, Pandu Rangan, C., Editorial Board Member^Aff13, Sudan, Madhu, Series Editor^Aff14, Terzopoulos, Demetri, Editorial Board Member^Aff15, Tygar, Doug, Editorial Board Member^Aff16, Weikum, Gerhard, Series Editor^Aff17, Vardi, Moshe Y, Series Editor^Aff18, Bertino, Elisa, Editorial Board Member^Aff19, Gao, Wen, Editorial Board Member^Aff20, Steffen, Bernhard, Editorial Board Member^Aff21, Yung, Moti, Editorial Board Member^Aff22, Woeginger, Gerhard, Editorial Board Member^Aff23, Capretta, Venanzio, editor^Aff24, Krebbers, Robbert, editor^Aff25, Wiedijk, Freek, editor^Aff26

المصدر: Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. 14560:17-35

المؤلفون: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

المصدر: EPTCS 356, 2022, pp. 12-23

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.1.1, F.3.2

URL الوصول: http://arxiv.org/abs/2203.12876

المؤلفون: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 03B38:Type theory, F.3.2

URL الوصول: http://arxiv.org/abs/2201.00221

المؤلفون: Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola

المصدر: Logical Methods in Computer Science, Volume 19, Issue 1 (January 13, 2023) lmcs:8752

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2111.11984

المؤلفون: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2102.00865

المؤلفون: Dagnino, Francesco, Bono, Viviana, Zucca, Elena, Dezani-Ciancaglini, Mariangiola

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2002.08738

المؤلفون: Barbanera, Franco, Dezani-Ciancaglini, Mariangiola

المصدر: EPTCS 304, 2019, pp. 77-96

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.1

URL الوصول: http://arxiv.org/abs/1909.05972

المؤلفون: Barbanera, Franco^Aff9, Dezani-Ciancaglini, Mariangiola^Aff10, de’Liguoro, Ugo^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Tapia Tarifa, Silvia Lizeth, editor^Aff7, Proença, José, editor^Aff8

المصدر: Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings. 13712:222-243

المؤلفون: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

المصدر: In Journal of Logical and Algebraic Methods in Programming February 2023 131