FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: ABCDEFGHILMNOPST
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