Venue. PPDP Principles and Practice of Declarative Programming · Conference · ACM 2023 Intuitionistic Metric Temporal Logic desa-2023-intuitionisticPPDP · 2023 DOI 2011 Dependent session types via intuitionistic linear type theory toninho-2011-dependentPPDP · 2011 DOI