FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program