conference-paper
وصول مفتوح
Dependent Type Theory in Polarised Sequent Calculus (abstract)
Research footprint
At a glance
- الاستشهادات
- 0
- المراجع
- 0
- Comments
- 0
Paper overview
Abstract
(conference cancelled due to events)
Record transparency
Publication details
- OpenAlex
- W3018157905
- Document type
- conference-paper
- Language
- EN
- Source
- HAL (Le Centre pour la Communication Scientifique Directe)
- Last metadata update
Comments
تسجيل الدخول للانضمام إلى النقاش.