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 about The hybrid library: a view from the UK.

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 about Using a Generalisation Critic to find Bisimulations for Coinductive Proofs.