Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma.

Hannes Saffrich Peter Thiemann Marius Weidner

Published in: TyDe@ICFP (2024)

Keyphrases

lambda calculus
predicate calculus
higher order
knowledge transfer
johnson lindenstrauss
logical reasoning
expert systems
computer vision
logical rules
natural language
pairwise
high level
programming language
case study
conceptual structures
knowledge base
logical properties
artificial intelligence
real time