Extensional constructs in intensional type theory

Extensional constructs in intensional type theory

Bibliographic Details
Main Author:	Hofmann M.
Corporate Author:	Tevens verschenen als proefschrift LFCS Edinburgh
Format:	Book
Language:	Undetermined
Published:	N.Y Springer 1997

Similar Items

Constructive theory of functions proceedings of the International conference on constructive theory of functions, Varna, May 24-May 31, 1987.
Published: (1988)

Socialist internationalism theory and practice of international relations of a New Type
Published: (1979)

Socialist internationalism theory and practice of international relations of a New Type
Published: (1979)

Typing 1 general course
by: Lloyd A. C. and others
Published: (1977)

Community and Its Types
Published: (1982)

Offsite Construction
by: Jahn B., Dettenmaier P.
Published: (1997)

Housing Construction
by: Andreyev A6

Construction materials
Published: (2014)

De- construction = Раз- градба
by: Lindro M.
Published: (2011)

Typing power, spelling power
by: Elliott N. W. and others
Published: (1975)

Constructing achievement tests
by: Gronlund N.E
Published: (1977)

Bibliography On Soil Construction
Published: (1989)

Constructions en Roumanie
by: Cristescu V., Adler L.
Published: (1969)

Safety and Health in Construction
Published: (1992)

Matériaux de construction
by: Vorobiev V.
Published: (1967)

Genius of Revolution and Construction
by: 김일송 Kimilsung
Published: (1980)

Type a behavior and your heart
by: Meyer Friedman
Published: (1974)

On the proletarian party of a new type
by: Lenin V. I.
Published: (1976)

On the proletarian party of a new type
by: Lenin V. I.
Published: (1973)

On the proletarian party of a new type
by: Lenin V. I.
Published: (1981)

On the proletarian party of a new type
by: Lenin V. I.
Published: (1981)

Constryuctive theory of functions procceedings of the international conference on constructive theory of functions
Published: (1988)

Test construction development and interpretation of achievement tests
by: Wood D. A.
Published: (1961)

For socialist economic construction in our country
by: KiM Il Sung
Published: (1958)

Конструктивная теория функций 81= Constructive function theory 81 Труды Международной конференции по конструктивной теории функций Варна, 1-5 июня 1981 г.
Published: (1983)

Vauxhall 'VX' type A copy of this book is isued free with every car. Second edition
Published: (1931)

Конструктивная теория функций' 77 = Constructive function theory '77 Труды Междунар. конф. по конструктив. теории функций, Благоевград, 30 мая - 6 июня 1977 г
Published: (1980)

International Recommendations for Construction Statistics
Published: (1997)

Our course is peaceful construction
by: Breznev, Leonid Il'ič
Published: (1980)

Constructions en béton armé
by: Mourachev V.
Published: (1971)

Construction of Nuclear power plants
by: Dubrovskij V. B., Lavdanskij P. A., Nešumov F. S.
Published: (1981)

Revolution, Construction and Reform The Path of the Communist Party of China
by: Zhang Baijia
Published: (2011)

Building construction Хрестоматия по англ. яз. для строит. вузов и фак.
by: Беркаш Г.В., Фаворова Н.Л
Published: (1960)

Managing international construction projets An overview
Published: (1995)

Large type dictionary of english language with an appendix of abbreviations and foreign words and phrases
Published: (1920)

Theacher's manual for Typing from rough drafts For Advanced typewriting
by: Moon H.R
Published: (1977)

Sur le parti prolétarien de type nouveau
by: Lenin V. I.
Published: (1973)

Soviet man the making of a socialist type of personality
by: Smirnov G.
Published: (1973)

La communaute et ses types Etudes ethnografiques en URSS (2) 1982
Published: (1982)

1996. Development and education in childhood : the constructive theory on subject-object activity in human development. Part 1, A case study of a profoundly handicapped infant.
by: Tanaka, Shinsuke
Published: (1996)

Cannot write session to /tmp/vufind_sessions/sess_e4b1pi2vl8noh00hhf027jfe08