Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
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
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
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
Syntax and models of Cartesian cubical type theory
Angiuli, Carlo, Brunerie, Guillaume, Coquand, Thierry, Harper, Robert, Hou (Favonia), Kuen-Bang, Licata, Daniel R.
Published in Mathematical structures in computer science (01.04.2021)
Published in Mathematical structures in computer science (01.04.2021)
Get full text
Journal Article
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
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
Languages of higher-dimensional automata
Fahrenberg, Uli, Johansen, Christian, Struth, Georg, Ziemiański, Krzysztof
Published in Mathematical structures in computer science (01.05.2021)
Published in Mathematical structures in computer science (01.05.2021)
Get full text
Journal Article
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
A linear linear lambda-calculus
Díaz-Caro, Alejandro, Dowek, Gilles
Published in Mathematical structures in computer science (01.11.2024)
Published in Mathematical structures in computer science (01.11.2024)
Get full text
Journal Article