Lambda Definability with Sums via Grothendieck Logical Relations.

Marcelo P. Fiore Alex K. Simpson

Published in: TLCA (1999)

Keyphrases

fixed point
logical structure
lambda calculus
artificial intelligence
semantic relations
temporal relations
binary relations
logical theories
neural network
causal relations
logical representation