Linear Logics for Metric Spaces

@courseproject{linearlogicsgavazzo-spatialphdbo2017,
    apice = {LinearlogicsGavazzo},
    author = {Francesco Gavazzo},
    howpublished = {Spatial Multiagent Systems and Aggregate Computing: New Directions for Spatial Computing, A.Y. 2016/2017},
    month = sep,
    sort = {research},
    supervisor = {Omicini, Andrea},
    title = {Linear Logics for Metric Spaces},
    type = {Research Project},
    year = 2017
}