J. Roger Hindley's Documents

J. Roger Hindley's Documents

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
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
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
Laboratory Techniques in Biochemistry and Molecular Biology Vol 10: DNA Sequencing

Laboratory Techniques in Biochemistry and Molecular Biology Vol 10: DNA Sequencing
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
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
Adolescents, Sex, and the Law: Preparing Adolescents for Responsible Citizenship

Adolescents, Sex, and the Law: Preparing Adolescents for Responsible Citizenship
Read more
Private Real Estate Investment: Data Analysis and Decision Making (Academic Press Advanced Finance Series)

Private Real Estate Investment: Data Analysis and Decision Making (Academic Press Advanced Finance Series)
Read more
Clockwork garden: on the mechanistic reduction of living things

Clockwork garden: on the mechanistic reduction of living things
Read more
An Introduction to Kant's Ethics

An Introduction to Kant's Ethics
Read more
Radar Foundations for Imaging and Advanced Concepts

Radar Foundations for Imaging and Advanced Concepts
Read more
Bangladesh: progress through partnership : country assistance review

Bangladesh: progress through partnership : country assistance review
Read more
An Introduction to Kant's Ethics

An Introduction to Kant's Ethics
Read more
Stochastic Systems Modelling, Identification and Optimization, I

Stochastic Systems Modelling, Identification and Optimization, I
Read more
150 Contractual Problems and Their Solutions

150 Contractual Problems and Their Solutions
Read more
1

1
Read more
Aspects of Mathematical Modelling: Applications in Science, Medicine, Economics and Management

Aspects of Mathematical Modelling: Applications in Science, Medicine, Economics and Management
Read more
Telecommunications Performance Engineering

Telecommunications Performance Engineering
Read more
Results-Oriented Job Descriptions: More Than 225 Models to Use or Adapt -- With Guidelines for Creating Your Own

Results-Oriented Job Descriptions: More Than 225 Models to Use or Adapt -- With Guidelines for Creating Your Own
Read more
More Results-Oriented Job Descriptions: 226 Models to Use or Adapt -- With Guidelines for Creating Your Own

More Results-Oriented Job Descriptions: 226 Models to Use or Adapt -- With Guidelines for Creating Your Own
Read more
Industrial Organization: A Strategic Approach

Industrial Organization: A Strategic Approach
Read more
Universe, 8th Edition

Universe, 8th Edition
Read more