Kammar, O., & McDermott, D. (2018). Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics. Elsevier.
Παραπομπή σε μορφή Chicago (17η εκδ.)Kammar, O., και D. McDermott. Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics. Elsevier, 2018.
Παραπομπή σε μορφή MLA (9th εκδ.)Kammar, O., και D. McDermott. Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics. Elsevier, 2018.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.