Caires Lunch Talk 030215

From PLSwiki

Jump to: navigation, search

Lunch Talk by Luis Caires, 12-13:00.

Title: Types and Logic, Concurrency and Non-Determinism

Abstract: Behavioural types are becoming an increasingly useful instrument to reason about the behaviour of interactive concurrent systems. While type structures for functional programming languages relate with logical principles via the so-called Curry-Howard correspondence, the relationship between interactive concurrent programming models and their logically motivated typing disciplines started to be better understood only recently.

In this talk, we present an approach to address internal non-deterministic behaviour, as often present in artificial and natural computing systems, within a type system for session communication that preserves compatibility with logical principles.

Hosts: Thomas Hildebrandt and Marco Carbone

Personal tools