Skip to main content

Research Repository

See what's under the surface


The hybrid library: a view from the UK (1999)
Conference Proceeding
Pinfield, S. (1999). The hybrid library: a view from the UK. In B├╝cher, Bytes und Bibliotheken: Integrierte Information im Internet

This paper aims to provide an overview of digital library devcelopment in the UK, concentrating on the eLib (Electronic Libraries) programme. It also discusses the idea of the Hybrid Library and considers how it fits into current electronic library d... Read More

Using a Generalisation Critic to find Bisimulations for Coinductive Proofs (1999)
Conference Proceeding
Dennis, L. A., Bundy, A., & Green, I. (1999). Using a Generalisation Critic to find Bisimulations for Coinductive Proofs. In W. McCune (Ed.),

Coinduction is a method of growing importance in reasoning about functional languages, due to the increasing prominence of lazy data structures. Through the use of bisimulations and proofs that bisimilarity is a congruence in various domains it can... Read More

Proof methods for structured corecursive programs (1999)
Conference Proceeding
Gibbons, J., & Hutton, G. (1999). Proof methods for structured corecursive programs

Corecursive programs produce values of greatest fixpoint types, in contrast to recursive programs, which consume values of least fixpoint types. There are a number of widely used methods for proving properties of corecursive programs, including fixp... Read More