Embedding Pure Type Systems in the lambda-Pi-calculus modulo.

Denis Cousineau Gilles Dowek

Published in: CoRR (2023)

Keyphrases

distributed systems
intelligent systems
computer systems
complex systems
retrieval systems
data sets
information retrieval
search engine
vector space
fixed point
lambda calculus