IGR Report on EPSRC Grant GR/L89532: Notions of computability for general datatypes (2007)
Mike Fourman, Gordon Plotkin, John Longley
general international e#ort to develop mathematical and conceptual tools suitable for understanding the semantics and logic of a variety of programming languages. The long-term goals of this research...