1. Livres
  2. 1986
mputing with categories

Mputing with categories

par R. M. Burstall
4/5
Format
14 pages
Première édition
1986
Editeurs
University of Edinburgh· Laboratory for Foundations of Computer Science
Langue
English

Livres

Emma Burstall-House on Rockaway Beach

House on Rockaway Beach

Emma Burstall

Emma Burstall-House on Rockaway Beach

House on Rockaway Beach

Emma Burstall

Emma Burstall-Cornish Visitor

Cornish Visitor

Emma Burstall

Emma Burstall-Cornish Visitor

Cornish Visitor

Emma Burstall

Simon Burstall-Simon Burstall : 93 : Punching the Light : 93

Simon Burstall : 93 : Punching the Light : 93

Simon Burstall

Emma Burstall-Cornish Secret

Cornish Secret

Emma Burstall

Emma Burstall-Tremarnock Summer

Tremarnock Summer

Emma Burstall

Emma Burstall-Cornish Secret

Cornish Secret

Emma Burstall

Emma Burstall-Cornish Secret

Cornish Secret

Emma Burstall

Emma Burstall-Tremarnock Summer

Tremarnock Summer

Emma Burstall

Emma Burstall-Cornish Guest House

Cornish Guest House

Emma Burstall

Emma Burstall-Tremarnock Summer

Tremarnock Summer

Emma Burstall

Emma Burstall-Christmas at the Cornish Guest House

Christmas at the Cornish Guest House

Emma Burstall

Emma Burstall-Christmas at the Cornish Guest House

Christmas at the Cornish Guest House

Emma Burstall

Emma Burstall-Gym and Slimline

Gym and Slimline

Emma Burstall

Emma Burstall-Never Close Your Eyes

Never Close Your Eyes

Emma Burstall

Emma Burstall-Tremarnock

Tremarnock

Emma Burstall

Francis E. Burstall-Twistor Theory for Riemannian Symmetric Spaces

Twistor Theory for Riemannian Symmetric Spaces

Francis E. Burstall

Emma Burstall-Darling Girls

Darling Girls

Emma Burstall

Tim Burstall-The memoirs of a young bastard

The memoirs of a young bastard

Tim Burstall

Emma Burstall-Träum weiter!

Träum weiter!

Emma Burstall

Emma Burstall-Never close your eyes

Never close your eyes

Emma Burstall

Emma Burstall-Never Close Your Eyes

Never Close Your Eyes

Emma Burstall

Emma Burstall-Gym and Slimline

Gym and Slimline

Emma Burstall

Dawn Burstall-I. B. S. Relief

I. B. S. Relief

Dawn Burstall

Dawn Burstall-IBS relief

IBS relief

Dawn Burstall

Dawn Burstall-IBS Relief

IBS Relief

Dawn Burstall

Patricia Burstall-The golden age of the bicycle

The golden age of the bicycle

Patricia Burstall

Francis E. Burstall-Conformal Geometry of Surfaces in S4 and Quaternions

Conformal Geometry of Surfaces in S4 and Quaternions

Francis E. Burstall

Francis E. Burstall-Conformal geometry of surfaces in S4 and quaternions

Conformal geometry of surfaces in S4 and quaternions

Francis E. Burstall

Terry Burstall-The Soldiers Story

The Soldiers Story

Terry Burstall

M. L. Burstall-The outlook for the pharmaceutical industry in Western European [sic]

The outlook for the pharmaceutical industry in Western European [sic]

M. L. Burstall

Terry Burstall-Vietnam, the Australian dilemma

Vietnam, the Australian dilemma

Terry Burstall

M. L. Burstall-Undermining innovation

Undermining innovation

M. L. Burstall

Terry Burstall-The Soldier's Story

The Soldier's Story

Terry Burstall

Mike Burstall-1992 and the Regulation of the Pharmaceutical Industry (Health)

1992 and the Regulation of the Pharmaceutical Industry (Health)

Mike Burstall

Francis E. Burstall-Twister Theory for Riemannian Symmetric Spaces (Lecture Notes in Mathematics, Vol 1424)

Twister Theory for Riemannian Symmetric Spaces (Lecture Notes in Mathematics, Vol 1424)

Francis E. Burstall

Terry Burstall-soldier returns

Soldier returns

Terry Burstall

Francis E. Burstall-Twistor Theory for Riemannian Synmetric Spaces with Applications to Harmonic Maps of Riemann Surfaces

Twistor Theory for Riemannian Synmetric Spaces with Applications to Harmonic Maps of Riemann Surfaces

Francis E. Burstall

R. M. Burstall-natural deduction treatment of operational semantics

Natural deduction treatment of operational semantics

R. M. Burstall

R. M. Burstall-Inductively defined functions in functional programming languages.

Inductively defined functions in functional programming languages.

R. M. Burstall

Terry Burstall-The Soldier's Story

The Soldier's Story

Terry Burstall

Terry Burstall-The Soldiers' Story

The Soldiers' Story

Terry Burstall

R. M. Burstall-Research in interactive theorem proving at Edinburgh University.

Research in interactive theorem proving at Edinburgh University.

R. M. Burstall

M. L. Burstall-Community's pharmaceutical industry

Community's pharmaceutical industry

M. L. Burstall

S. W. Burstall-Great trees of New Zealand

Great trees of New Zealand

S. W. Burstall

Francis Everett Burstall-Non-linear functional analysis and harmonic maps

Non-linear functional analysis and harmonic maps

Francis Everett Burstall

M. L. Burstall-industry like no other

Industry like no other

M. L. Burstall

Patricia Burstall-golden age of the Thames

Golden age of the Thames

Patricia Burstall

Clare Burstall-Assessment - the American experience

Assessment - the American experience

Clare Burstall

C. Burstall-Assessment

Assessment

C. Burstall

R. M. Burstall-Programming in POP-2

Programming in POP-2

R. M. Burstall

Clare Burstall-study of the effectiveness of the teaching of French at the primary level in the schools of England and Wales

Study of the effectiveness of the teaching of French at the primary level in the schools of England and Wales

Clare Burstall

Aubrey F. Burstall-Simple Working Models of Historic Machines

Simple Working Models of Historic Machines

Aubrey F. Burstall

Clare Burstall-Primary French in the balance

Primary French in the balance

Clare Burstall

Clare Burstall-Primary French in the balance.

Primary French in the balance.

Clare Burstall

Rod M. Burstall-Programming in POP-2

Programming in POP-2

Rod M. Burstall

Rod M. Burstall-Programming in POP-2 [by] R.M. Burstall, J.S. Collins [and] R.J. Popplestone.

Programming in POP-2 [by] R.M. Burstall, J.S. Collins [and] R.J. Popplestone.

Rod M. Burstall

Burstall, Sara A.-education of girls in the United States

Education of girls in the United States

Burstall, Sara A.

Aubrey Burstall-A History of Mechanical Engineering (Technology Today and Tomorrow Series)

A History of Mechanical Engineering (Technology Today and Tomorrow Series)

Aubrey Burstall

Livres similaires

Alvaro Anchuelo Crego-direct test of the efficiency wage hypothesis

Direct test of the efficiency wage hypothesis

Alvaro Anchuelo Crego

Walter Haeder-

"newton" unit of force used in engineering calculations.

Walter Haeder

Owen, David.-G.C.S.E. mathematics

G.C.S.E. mathematics

Owen, David.

Francis Campbell Boileau Cadell-F.C.B. Cadell, 1883-1937.

F.C.B. Cadell, 1883-1937.

Francis Campbell Boileau Cadell

David G. Chandler-Dictionary of the Napoleonic wars

Dictionary of the Napoleonic wars

David G. Chandler

Bryan Newman-London Bridge (detail) 1985.

London Bridge (detail) 1985.

Bryan Newman

John M. M. Charleson-Religion

Religion

John M. M. Charleson

Rosslyn Bruce-Clifton book, Nottingham

Clifton book, Nottingham

Rosslyn Bruce

Seamus Heaney-cure at Troy

Cure at Troy

Seamus Heaney

John E. Adamson-theory of education in Plato's 'Republic'.

Theory of education in Plato's 'Republic'.

John E. Adamson

Margaret R. Keary-story of S. Joan.

Story of S. Joan.

Margaret R. Keary

Wilson, Andrew-abode of snow

Abode of snow

Wilson, Andrew

R. Schwartz-mestre na periferia do capitalismo

Mestre na periferia do capitalismo

R. Schwartz

Evelyne Berriot-Salvadore-femmes dans la socie te franc ʹaise de la Renaissance

Femmes dans la socie te franc ʹaise de la Renaissance

Evelyne Berriot-Salvadore

Tony Becher-Governments and professional education

Governments and professional education

Tony Becher

Julian Schnabel-Julian Schnabel

Julian Schnabel

Julian Schnabel

Ca ssio Emmanuel Barsante-Carmen Miranda.

Carmen Miranda.

Ca ssio Emmanuel Barsante

Sheila Richardson-Your home and you.

Your home and you.

Sheila Richardson

Horace Annesley Vachell-Quinneys'

Quinneys'

Horace Annesley Vachell

Maxwell Anderson-Mary of Scotland

Mary of Scotland

Maxwell Anderson

Ismet G. Imset-PKK

PKK

Ismet G. Imset

Henry Haverstock-Building design easibrief

Building design easibrief

Henry Haverstock

Tony McEnery-Computational pragmatics

Computational pragmatics

Tony McEnery

H. E. C. van der Meer Mohr-Camera and multispectral scanning systems in remote sensing as applied to geology

Camera and multispectral scanning systems in remote sensing as applied to geology

H. E. C. van der Meer Mohr

James E. H. Davidson-Central limit theorems for nonstationary mixing processes and near-epoch dependent functions

Central limit theorems for nonstationary mixing processes and near-epoch dependent functions

James E. H. Davidson

J. F. Carrotte-mixing characteristics of dilution jets issuing into a confined cross-flow

Mixing characteristics of dilution jets issuing into a confined cross-flow

J. F. Carrotte

Helen Cresswell-Classic fairy tales

Classic fairy tales

Helen Cresswell

Mircea Eliade-Bengal nights

Bengal nights

Mircea Eliade

W. E. Johns-Biggles and Co.

Biggles and Co.

W. E. Johns

Allard Merens-geschiedenis van een westfriese regentenfamilie

Geschiedenis van een westfriese regentenfamilie

Allard Merens

Gordon A. Bland-Ten years on

Ten years on

Gordon A. Bland

R. Evans-Soil erosion in north Norfolk

Soil erosion in north Norfolk

R. Evans

A. A. Yorke-Non-commercial channels of communication for a public library service

Non-commercial channels of communication for a public library service

A. A. Yorke

David Lowenthal-Finding valued landscapes

Finding valued landscapes

David Lowenthal

Wann Yu-prominence' theory of choice

Prominence' theory of choice

Wann Yu

Nanshi F. Matsuura-Sexual discrimination in the post-World War II Japanese labor market, 1953-1973

Sexual discrimination in the post-World War II Japanese labor market, 1953-1973

Nanshi F. Matsuura

Rene . Bussie re-Syste mes e volutifs urbains et re gionaux a L'e tat d'e quilibre

Syste mes e volutifs urbains et re gionaux a L'e tat d'e quilibre

Rene . Bussie re

Heckscher, Eli F.-Mercantilism

Mercantilism

Heckscher, Eli F.

Thomas Bourchier-Chilcott-law relating to the administration of charities under the Charitable Trusts Acts, 1853-1894, Roman Catholic Charities Act, 1860, Local Government Act, 1894 and other statutes with forms of applications in use by the Charity Commissioners and Board of Educ

Law relating to the administration of charities under the Charitable Trusts Acts, 1853-1894, Roman Catholic Charities Act, 1860, Local Government Act, 1894 and other statutes with forms of applications in use by the Charity Commissioners and Board of Educ

Thomas Bourchier-Chilcott

M. J. Kirton-Case studies of management initiative

Case studies of management initiative

M. J. Kirton

Henry Phelps Brown-economics of labour

Economics of labour

Henry Phelps Brown

Robert Owen-Life of Robert Owen written by himself with selections from his writings and correspondence.

Life of Robert Owen written by himself with selections from his writings and correspondence.

Robert Owen

Ernst Nolte-Three faces of fascism

Three faces of fascism

Ernst Nolte

Max Weber-From Max Weber

From Max Weber

Max Weber

Howard L. Timms-production function in business

Production function in business

Howard L. Timms

F. P. Walters-history of the League of Nations

History of the League of Nations

F. P. Walters

Gibson, John-Nursing the mentally retarded

Nursing the mentally retarded

Gibson, John

Eric K. Gardner-intensive therapy unit and the nurse

Intensive therapy unit and the nurse

Eric K. Gardner

Jan Walinder-Transsexualism

Transsexualism

Jan Walinder

Alexander Ostrower-Language, law, and diplomacy

Language, law, and diplomacy

Alexander Ostrower

Robert Silvey-measurement of audiences

Measurement of audiences

Robert Silvey

Gomme, A. W.-historical commentary on Thucydides

Historical commentary on Thucydides

Gomme, A. W.

Richard of Hexham.-acts of King Stephen, and the Battle of the Standard

Acts of King Stephen, and the Battle of the Standard

Richard of Hexham.

Campbell, Ian-guide to the law of commons

Guide to the law of commons

Campbell, Ian

Jacques Debelmas-Alpes

Alpes

Jacques Debelmas

T. J. Grayson- assessment of Soviet technological performance

assessment of Soviet technological performance

T. J. Grayson

Folke Dovring-Land and labor in Europe in the twentieth century

Land and labor in Europe in the twentieth century

Folke Dovring

William M. McCord-psychopath

Psychopath

William M. McCord

Baron F. Duckham-transport revolution, 1750-1830

Transport revolution, 1750-1830

Baron F. Duckham

Adin B. Thomas-Stock control

Stock control

Adin B. Thomas