@phdthesis{phdilyakul,
author = "Ilya Sergey",
note = "partner: KUL; projects: NESSoS; No Tier; citations: 0",
title = "{O}perational {A}spects of {T}ype {S}ystems: {I}nter-{D}erivable {S}emantics of {T}ype {C}hecking and {G}radual {T}ypes for {O}bject {O}wnership",
url = "https://lirias.kuleuven.be/handle/123456789/360335",
year = "2012",
}