FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Pointing to Private Names

Adrian Francalanza, Marco Giunti and António Ravara

A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms

Joseph Razavi and Andrea Schalk

A syntactic model of mutation and aliasing

Paola Giannini, Marco Servetto and Elena Zucca
Total: 3 presentations.