Extensional constructs in intensional type theory

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

• 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)