TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
A | |
Abella | |
Abstract syntax | |
B | |
Barendregt's Variable Convention | |
binder mobility | |
Binders | |
C | |
computation and deduction | |
Constructive Type Theory | |
Coq | |
D | |
Dedukti | |
E | |
exhaustive and randomized data generation | |
F | |
Formal Definition | |
Formal Metatheory | |
functional and relational specifications | |
functional programming | |
G | |
Generic Binding Structures | |
H | |
Higher-order abstract syntax (HOAS) | |
HOL | |
I | |
Interoperability | |
L | |
lambda calculus | |
lambda-tree syntax | |
Logical Frameworks | |
M | |
Matita | |
mechanized meta-theory | |
N | |
Notation | |
O | |
OCaml library | |
OpenTheory | |
P | |
property-based testing | |
S | |
Set Theory | |
T | |
typed assembly languages |