Tropical Mathematics and the Lambda-Calculus (short paper) (text not included).

Davide Barbarossa Paolo Pistone

Published in: ICTCS (2023)

Keyphrases

lambda calculus
keywords
computer science
programming language
information retrieval
database
predicate calculus
knowledge base
software engineering
higher order
first order logic