Conjunctive Types and SKInT

Jean Goubault-Larrecq

doi:10.1007/3-540-48167-2_8

Book sections

Conjunctive Types and SKInT

Jean Goubault-Larrecq ^{1, 2}

1 GIE Dyade

2 Inria - Institut National de Recherche en Informatique et en Automatique

Document type :

Book sections

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

Complete list of metadata

https://hal.inria.fr/hal-03210285
Contributor : Jean Goubault-Larrecq <>
Submitted on : Tuesday, April 27, 2021 - 8:50:38 PM
Last modification on : Thursday, April 29, 2021 - 3:10:24 AM

Conjunctive Types and SKInT

Links full text

Identifiers

Collections

Citation

Export

Metrics

27

Contact Legal Notice Personal Data

Conjunctive Types and SKInT

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

27

Contact Legal Notice Personal Data