Skip to Main content Skip to Navigation
Book sections

Conjunctive Types and SKInT

Document type :
Book sections
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

Links full text

Identifiers

Collections

Citation

Jean Goubault-Larrecq. Conjunctive Types and SKInT. Selected Papers from the International Workshop on Types for Proofs and Programs (TYPES'98), 1657, Springer, pp.106-120, 1999, Lecture Notes in Computer Science, ⟨10.1007/3-540-48167-2_8⟩. ⟨hal-03210285⟩

Share

Metrics

Record views

27