Normalisation for First-Class Universe Levels

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Normalisation for First-Class Universe Levels
Συγγραφείς:	Danielsson, Nils Anders, Favier, Naïm Camille, Kubánek, Ondřej
Πηγή:	Proceedings of the ACM on Programming Languages. 10(POPL):64-88
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3776645
Βάση Δεδομένων:	ACM Full-Text Collection

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