From Semantics to Syntax: A Type Theory for Comprehension Categories

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	From Semantics to Syntax: A Type Theory for Comprehension Categories
Συγγραφείς:	Najmaei, Niyousha, van der Weide, Niels, Ahrens, Benedikt, North, Paige Randall
Πηγή:	Proceedings of the ACM on Programming Languages. 10(POPL):2409-2438
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3776725
Βάση Δεδομένων:	ACM Full-Text Collection

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