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⟩