Extensional constructs in intensional type theory

Extensional constructs in intensional type theory

Библиографические подробности
Главный автор:	Hofmann M.
Соавтор:	Tevens verschenen als proefschrift LFCS Edinburgh
Формат:	‌
Язык:	Undetermined
Опубликовано:	N.Y Springer 1997

Схожие документы

Constructive theory of functions proceedings of the International conference on constructive theory of functions, Varna, May 24-May 31, 1987.
Опубликовано: (1988)

Socialist internationalism theory and practice of international relations of a New Type
Опубликовано: (1979)

Socialist internationalism theory and practice of international relations of a New Type
Опубликовано: (1979)

Typing 1 general course
по: Lloyd A. C. and others
Опубликовано: (1977)

Community and Its Types
Опубликовано: (1982)

Offsite Construction
по: Jahn B., Dettenmaier P.
Опубликовано: (1997)

Housing Construction
по: Andreyev A6

Construction materials
Опубликовано: (2014)

De- construction = Раз- градба
по: Lindro M.
Опубликовано: (2011)

Typing power, spelling power
по: Elliott N. W. and others
Опубликовано: (1975)

Constructing achievement tests
по: Gronlund N.E
Опубликовано: (1977)

Bibliography On Soil Construction
Опубликовано: (1989)

Constructions en Roumanie
по: Cristescu V., Adler L.
Опубликовано: (1969)

Safety and Health in Construction
Опубликовано: (1992)

Matériaux de construction
по: Vorobiev V.
Опубликовано: (1967)

Genius of Revolution and Construction
по: 김일송 Kimilsung
Опубликовано: (1980)

Type a behavior and your heart
по: Meyer Friedman
Опубликовано: (1974)

On the proletarian party of a new type
по: Lenin V. I.
Опубликовано: (1976)

On the proletarian party of a new type
по: Lenin V. I.
Опубликовано: (1973)

On the proletarian party of a new type
по: Lenin V. I.
Опубликовано: (1981)

On the proletarian party of a new type
по: Lenin V. I.
Опубликовано: (1981)

Constryuctive theory of functions procceedings of the international conference on constructive theory of functions
Опубликовано: (1988)

Test construction development and interpretation of achievement tests
по: Wood D. A.
Опубликовано: (1961)

For socialist economic construction in our country
по: KiM Il Sung
Опубликовано: (1958)

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

Vauxhall 'VX' type A copy of this book is isued free with every car. Second edition
Опубликовано: (1931)

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

International Recommendations for Construction Statistics
Опубликовано: (1997)

Our course is peaceful construction
по: Breznev, Leonid Il'ič
Опубликовано: (1980)

Constructions en béton armé
по: Mourachev V.
Опубликовано: (1971)

Construction of Nuclear power plants
по: Dubrovskij V. B., Lavdanskij P. A., Nešumov F. S.
Опубликовано: (1981)

Revolution, Construction and Reform The Path of the Communist Party of China
по: Zhang Baijia
Опубликовано: (2011)

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

Managing international construction projets An overview
Опубликовано: (1995)

Large type dictionary of english language with an appendix of abbreviations and foreign words and phrases
Опубликовано: (1920)

Theacher's manual for Typing from rough drafts For Advanced typewriting
по: Moon H.R
Опубликовано: (1977)

Sur le parti prolétarien de type nouveau
по: Lenin V. I.
Опубликовано: (1973)

Soviet man the making of a socialist type of personality
по: Smirnov G.
Опубликовано: (1973)

La communaute et ses types Etudes ethnografiques en URSS (2) 1982
Опубликовано: (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.
по: Tanaka, Shinsuke
Опубликовано: (1996)

Cannot write session to /tmp/vufind_sessions/sess_vabafj20g88dgo8kiitbfplh13