نتائج البحث

Cubical modal type theories

• Authors : Kristensen, Magnus Baunsgaard

• Source: Kristensen , M B 2022 , Cubical modal type theories . ITU-DS , no. 193 , IT-Universitetet i København .

تفاصيل العنوان

What makes guarded types tick?

• Authors : Bahr, Patrick; Mannaa, Bassel; Møgelberg, Rasmus Ejlers

Subjects: Clocked Type Theory; Guarded Recursion; Coinductive Types

• Source: Bahr , P , Mannaa , B & Møgelberg , R E 2018 , ' What makes guarded types tick? ' .

تفاصيل العنوان

Bisimulation as path type for guarded recursive types

• Authors : Veltri, Niccolò; Møgelberg, Rasmus Ejlers

Subjects: Coinductive types; Guarded recursion; Bisimilarity

• Source: Veltri , N & Møgelberg , R E 2019 , Bisimulation as path type for guarded recursive types . in Proceedings of the ACM on Programming Languages . vol. 3 , 4 , Association for Computing Machinery .

تفاصيل العنوان

Guarded Dependent Type Theory with Coinductive Types

• Authors : Bizjak, Ales; Grathwohl, Hans Bugge; Clouston, Ranald

Subjects: guarded dependent type theory; later modality; clock quantifiers

• Source: Bizjak , A , Grathwohl , H B , Clouston , R , Møgelberg , R E & Birkedal , L 2016 , Guarded Dependent Type Theory with Coinductive Types . in Foundations of Software Science and Computation Structure

تفاصيل العنوان