Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Stolze, Claude
43  Ergebnisse:
Personensuche X
?
1

Composable partial multiparty session types for open system:

Stolze, Claude ; Miculan, Marino ; Di Gianantonio, Pietro
Software and Systems Modeling.  22 (2022)  2 - p. 473-494 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Composable Partial Multiparty Session Types:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,
Stolze, Claude ; Miculan, Marino ; Di Gianantonio, Pietro - p. 44-62 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Towards a Logical Framework with Intersection and Union Typ..:

, In: Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice,
Stolze, Claude ; Liquori, Luigi ; Honsell, Furio. - p. 1-9 , 2017
Link: https://dl.acm.org/doi/1..
 
?
4

Towards Formalization and Sharing of Atelier B Proofs with ..:

Stolze, Claude ; Hermant, Olivier ; Guillaumé, Romain
hal-04398119.  , 2024
Link: https://hal.science/hal-..
 
?
5

Towards Formalization and Sharing of Atelier B Proofs with ..:

Stolze, Claude ; Hermant, Olivier ; Guillaumé, Romain
hal-04398119.  , 2024
Link: https://hal.science/hal-..
 
?
6

Composable partial multiparty session types for open system:

Stolze, Claude ; Miculan, Marino ; Di Gianantonio, Pietro
info:eu-repo/semantics/altIdentifier/wos/WOS:000860428700001.  , 2022
Link: https://hdl.handle.net/1..
 
?
7

A Type Checker for a Logical Framework with Union and Inter..:

Stolze, Claude ; Liquori, Luigi
doi:10.4230/LIPIcs.FSCD.2020.37.  , 2020
Link: https://doi.org/10.4230/..
 
?
8

A Type Checker for a Logical Framework with Union and Inter..:

Stolze, Claude ; Liquori, Luigi
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSCD.2020.  , 2020
Link: https://hal.science/hal-..
 
?
9

A Type Checker for a Logical Framework with Union and Inter..:

Liquori, Luigi ; Stolze, Claude
http://arxiv.org/abs/2002.10803.  , 2020
Link: http://arxiv.org/abs/200..
 
?
10

A Type Checker for a Logical Framework with Union and Inter..:

Stolze, Claude ; Liquori, Luigi
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSCD.2020.  , 2020
Link: https://hal.science/hal-..
 
?
11

A Type Checker for a Logical Framework with Union and Inter..:

Stolze, Claude ; Liquori, Luigi
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSCD.2020.  , 2020
Link: https://hal.science/hal-..
 
?
12

A Type Checker for a Logical Framework with Union and Inter..:

Stolze, Claude ; Liquori, Luigi
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSCD.2020.  , 2020
Link: https://hal.archives-ouv..
 
?
13

Combining union, intersection and dependent types in an exp..:

Stolze, Claude
NNT: 2019AZUR4104.  , 2019
Link: https://hal.science/tel-..
 
?
14

Combining union, intersection and dependent types in an exp..:

Stolze, Claude
NNT: 2019AZUR4104.  , 2019
Link: https://hal.archives-ouv..
 
?
15

Types union, intersection, et dépendants dans le lambda-cal..:

Stolze, Claude
http://www.theses.fr/2019AZUR4104/document.  , 2019
Link: http://www.theses.fr/201..
 
1-15