John Hindley's Documents

John Hindley's Documents

Laboratory Techniques in Biochemistry and Molecular Biology Vol 10: DNA Sequencing

Laboratory Techniques in Biochemistry and Molecular Biology Vol 10: DNA Sequencing
Read more
Trade Liberalization in Aviation Services: Can the Doha Round Free Flight? (AEI Studies on Services Trade Negotiations)

Trade Liberalization in Aviation Services: Can the Doha Round Free Flight? (AEI Studies on Services Trade Negotiations)
Read more
Medieval Sieges & Siegecraft

Medieval Sieges & Siegecraft
Read more
A Brief History of the Anglo-Saxons: The Beginnings of the English Nation

A Brief History of the Anglo-Saxons: The Beginnings of the English Nation
Read more
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Volume 42)

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Volume 42)
Read more
Como hacer Juegos con Papel

Como hacer Juegos con Papel
Read more
Como hacer de Detective Como hallar pistas, reunir pruebas y resolver misterios Spanish

Como hacer de Detective Como hallar pistas, reunir pruebas y resolver misterios Spanish
Read more
Better Off Out: The Benefits or Costs of Eu Membership (Occasional Paper, 99)

Better Off Out: The Benefits or Costs of Eu Membership (Occasional Paper, 99)
Read more
Lambda-calculus and combinators, an introduction

Lambda-calculus and combinators, an introduction
Read more
Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction
Read more
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, ... (Lecture Notes in Computer Science)

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, ... (Lecture Notes in Computer Science)
Read more
Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction
Read more
Lambda-calculus and combinators, an introduction

Lambda-calculus and combinators, an introduction
Read more
Typed Lambda Calculi and Applications, 3 conf., TLCA '97

Typed Lambda Calculi and Applications, 3 conf., TLCA '97
Read more
Murder of a Dead Man (Trevor Joseph S.)

Murder of a Dead Man (Trevor Joseph S.)
Read more
Data Analysis and Graphics Using R: An Example-based Approach (Cambridge Series in Statistical and Probabilistic Mathematics)

Data Analysis and Graphics Using R: An Example-based Approach (Cambridge Series in Statistical and Probabilistic Mathematics)
Read more
Lisbon (World Bibliographical Series)

Lisbon (World Bibliographical Series)
Read more
Fakten über Die Freimaurer

Fakten über Die Freimaurer
Read more
Devolution in Context: Regional, Federal and Devolved Government in the EU

Devolution in Context: Regional, Federal and Devolved Government in the EU
Read more
Junkers Ju 87 Stukageschwader of the Russian Front

Junkers Ju 87 Stukageschwader of the Russian Front
Read more
Het grote boek van foute feiten druk 1

Het grote boek van foute feiten druk 1
Read more
Database Technologies: Concepts, Methodologies, Tools, and Applications

Database Technologies: Concepts, Methodologies, Tools, and Applications
Read more
UML Components: A Simple Process for Specifying Component-Based Software

UML Components: A Simple Process for Specifying Component-Based Software
Read more
Luftwaffe Sturmgruppen

Luftwaffe Sturmgruppen
Read more
Student's Guide to History

Student's Guide to History
Read more
The Book of the Dead

The Book of the Dead
Read more
The Second Book of General Ignorance: Everything You Think You Know Is Still Wrong

The Second Book of General Ignorance: Everything You Think You Know Is Still Wrong
Read more
QI: The Book of General Ignorance

QI: The Book of General Ignorance
Read more
QI Second Book of General Ignorance

QI Second Book of General Ignorance
Read more
Think Like Tiger

Think Like Tiger
Read more