Conjunctive Types and SKInT - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 1999

Dates and versions

hal-03210285 , version 1 (27-04-2021)

Identifiers

Cite

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⟩

Collections

INRIA
14 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More