"new foundations must give new math"

from "The Basic Picture. Structures for constructive topology"

by Giovanni Sambin, Oxford University Press, forthcoming


To register send an e-mail to maietti @ math.unipd.it

Registration fee: 40 euros
(to be paid at arrival).

Under the patronage of

Dipartimento di Matematica Pura ed Applicata, Università degli Studi di Padova, Italy

University of Padova, Italy

AILA (Italian Association of Logic and Applications), whose first president was Giovanni Sambin (from 1987 to 1994).

Abstracts » Hancock

Peter Hancock

Command-response and stream interfaces

Sambin's approach to constructive topology has been a valuable guide when devising models for interfaces between program components, where one issues commands to which the other responds.

A prima-facie quite different style of model for program interaction is based on Landin's idea of communication via lazy streams.

Yet these two approaches seem to share some structure, that I will try to bring out.