FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

D
Dal Lago, Ugo	On Higher-Order Probabilistic Computation (PDF)
Dershowitz, Nachum	Generic Graph Semantics (PDF, talk)
Di Pierro, Alessandra	Towards a Formal System for Topological Quantum Computation (PDF, talk)
F
Francalanza, Adrian	Pointing to Private Names (PDF, talk)
G
Giannini, Paola	A syntactic model of mutation and aliasing (PDF, talk)
Giunti, Marco	Pointing to Private Names (PDF, talk)
K
Kesner, Delia	Quantitative Types: from Foundations to Applications (PDF)
M
Mackie, Ian	Models of Computation that Conserve Data (PDF, talk)
Mazza, Damiano	Polyadic Approximations and Intersection Types (PDF)
R
Ravara, António	Pointing to Private Names (PDF, talk)
Razavi, Joseph	A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms (PDF, talk)
S
Schalk, Andrea	A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms (PDF, talk)
Servetto, Marco	A syntactic model of mutation and aliasing (PDF, talk)
Z
Zucca, Elena	A syntactic model of mutation and aliasing (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program