1.

Record Nr.

UNISA990000211100203316

Autore

International workshop TYPES'94 : 1994

Titolo

Types for proofs and programs : International workshop TYPES '94 :Båstad, Sweden, June 6-10, 1994 : selected papers / Peter Dybjer ... [etc.] (eds.)

Pubbl/distr/stampa

Berlin [etc.] : Springer-Verlag, copyr. 1995

ISBN

3-540-60579-7

Descrizione fisica

X, 202 p. : ill. ; 25 cm

Collana

Lecture notes in computer science ; 996

Disciplina

51130285

Collocazione

001 LNCS (996)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNINA9910164939503321

Titolo

A knock on the door : the essential history of residential schools from the Truth and Reconciliation Commission of Canada / / foreword by Phil Fontaine

Pubbl/distr/stampa

Winnipeg, Manitoba : , : University of Manitoba Press, , 2016

©2016

ISBN

0-88755-538-1

0-88755-540-3

Edizione

[Edited & abridged.]

Descrizione fisica

1 online resource (297 pages) : illustrations, map

Disciplina

971.004/97

Soggetti

Off-reservation boarding schools - Canada - History

Indians of North America - Education - Canada - History

Indians, Treatment of - Canada - History - 20th century

Indians of North America - Canada - Social conditions - 20th century

Truth commissions - Canada

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references.