@MastersThesis{ Kokke:2017,
Author = "Kokke, Wen",
date-added = "2019-04-13 12:16:49 +0200",
date-modified = "2019-04-13 12:17:23 +0200",
School = "University of Edinburgh",
Title = "Races in Classical Linear Logic",
Year = "2017",
File = "msc2017 (0) (0) - a - a - x.pdf"
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A