Computability in Europe 2006
Logical Approaches to Computational Barriers


Special Session Talk:
Interpreting localized computational effects using higher type operators


Speaker: John Longley

Abstract

(TBA)

websites: Arnold Beckmann 2007-12-22