Skip to Main content Skip to Navigation
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
Complete list of metadata
https://hal.inria.fr/hal-03210285
Contributor : Jean Goubault-Larrecq Connect in order to contact the contributor
Submitted on : Tuesday, April 27, 2021 - 8:50:38 PM
Last modification on : Thursday, April 29, 2021 - 3:10:24 AM

Links full text

istex

Identifiers

Collections

IRISA | INRIA | UR1-MATH-NUM | UR1-MATH-STIC | UR1-UFR-ISTIC

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

12

 

Contact                    Legal Notice                    Personal Data