Extensional set equality in the calculus of constructions (Q2752532)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Extensional set equality in the calculus of constructions |
scientific article; zbMATH DE number 1661168
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extensional set equality in the calculus of constructions |
scientific article; zbMATH DE number 1661168 |
Statements
14 May 2002
0 references
extensionality
0 references
typed \(\lambda\)-calculus
0 references
calculus of constructions
0 references
set theory
0 references
trusted systems
0 references
Extensional set equality in the calculus of constructions (English)
0 references
