Book Sections
Year : 1999
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03210285
Submitted on : Tuesday, April 27, 2021-8:50:38 PM
Last modification on : Sunday, June 26, 2022-4:21:26 AM
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
14
View
0
Download