Introduction (Q4246941)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1301728
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Introduction |
scientific article; zbMATH DE number 1301728 |
Statements
13 December 1999
0 references
type theory
0 references
proof environments
0 references
survey
0 references
0 references
Introduction (English)
0 references
The authors give some introductory remarks on the history of type theory, of the role of type theory in computer science, and particularly on the development of proof environments like HOL, Isabelle, Nuprl, and PVS. Finally they give a survey about the contents of the articles of the volume, together with the respective references. For the entire collection see [Zbl 0898.00024].
0 references
