Di- is for Directed: First-Order Directed Type Theory via Dinaturality

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Di- is for Directed: First-Order Directed Type Theory via Dinaturality
Συγγραφείς:	Laretto, Andrea, Loregian, Fosco, Veltri, Niccolò
Πηγή:	Proceedings of the ACM on Programming Languages. 10(POPL):1759-1789
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3776703
Βάση Δεδομένων:	ACM Full-Text Collection

Περιγραφή
ISSN:	24751421
DOI:	10.1145/3776703