No label defined (Q2751369)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
27 August 2002
0 references
abstract syntax
0 references
judgments
0 references
meta-programming
0 references
proof search
0 references
natural deduction
0 references
logical framework
0 references
specification of deductive systems
0 references
hereditary Harrop formulas
0 references
LF type theory
0 references
