Proof-search in type-theoretic languages: An introduction (Q1575935)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Proof-search in type-theoretic languages: An introduction |
scientific article |
Statements
Proof-search in type-theoretic languages: An introduction (English)
0 references
23 August 2000
0 references
proof-objects
0 references
proof-search
0 references
type-theoretic languages
0 references
logical frameworks
0 references
0 references
0 references