EasyChair Smart SlideDocs/Log in
Conference: DCM 2018 (12th International Workshop on Developments in Computational Models)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Pointing to Private Names

Pointing to Private Names

Adrian Francalanza, Marco Giunti and António Ravara

A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms

A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms

Joseph Razavi and Andrea Schalk

A syntactic model of mutation and aliasing

A syntactic model of mutation and aliasing

Paola Giannini, Marco Servetto and Elena Zucca

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair