Loading…
Loading…
Loading…
Linear logic propositions as session types
CAIRES, LUÍS, PFENNING, FRANK, TONINHO, BERNARDO
Published in Mathematical structures in computer science (01.03.2016)
Published in Mathematical structures in computer science (01.03.2016)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Loading…
CHAD for expressive total languages
Lucatelli Nunes, Fernando, Vákár, Matthijs
Published in Mathematical structures in computer science (01.04.2023)
Published in Mathematical structures in computer science (01.04.2023)
Get full text
Journal Article
Loading…
Modal dependent type theory and dependent right adjoints
Birkedal, Lars, Clouston, Ranald, Mannaa, Bassel, Ejlers Møgelberg, Rasmus, Pitts, Andrew M., Spitters, Bas
Published in Mathematical structures in computer science (01.02.2020)
Published in Mathematical structures in computer science (01.02.2020)
Get full text
Journal Article
Loading…
Loading…
Global progress for dynamically interleaved multiparty sessions
COPPO, MARIO, DEZANI-CIANCAGLINI, MARIANGIOLA, YOSHIDA, NOBUKO, PADOVANI, LUCA
Published in Mathematical structures in computer science (01.02.2016)
Published in Mathematical structures in computer science (01.02.2016)
Get full text
Journal Article
Loading…
Loading…
Two-level type theory and applications
Annenkov, Danil, Capriotti, Paolo, Kraus, Nicolai, Sattler, Christian
Published in Mathematical structures in computer science (01.09.2023)
Published in Mathematical structures in computer science (01.09.2023)
Get full text
Journal Article
Loading…
Bicategorical type theory: semantics and syntax
Ahrens, Benedikt, North, Paige Randall, van der Weide, Niels
Published in Mathematical structures in computer science (01.11.2023)
Published in Mathematical structures in computer science (01.11.2023)
Get full text
Journal Article
Loading…
SMT-based verification of data-aware processes: a model-theoretic approach
Calvanese, Diego, Ghilardi, Silvio, Gianola, Alessandro, Montali, Marco, Rivkin, Andrey
Published in Mathematical structures in computer science (01.03.2020)
Published in Mathematical structures in computer science (01.03.2020)
Get full text
Journal Article
Loading…
Loading…
The patch topology in univalent foundations
Arrieta, Igor, Escardó, Martín H., Tosun, Ayberk
Published in Mathematical structures in computer science (06.08.2025)
Published in Mathematical structures in computer science (06.08.2025)
Get full text
Journal Article
Loading…
Loading…
Computational synthetic cohomology theory in homotopy type theory
Ljungström, Axel, Mörtberg, Anders
Published in Mathematical structures in computer science (10.07.2025)
Published in Mathematical structures in computer science (10.07.2025)
Get full text
Journal Article
Loading…