A higher-order calculus and theory abstraction (Q2639838)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A higher-order calculus and theory abstraction |
scientific article |
Statements
A higher-order calculus and theory abstraction (English)
0 references
1991
0 references
theory of dependent types
0 references
Extended Calculus of Constructions
0 references
extension of Martin-Löf's type theory
0 references
proof-theoretic properties
0 references
strong normalization
0 references
realizability model
0 references
higher-order logic
0 references
Abstract reasoning
0 references
interactive proof development
0 references
abstract theory
0 references
program specification
0 references
