A Predicative Variant of a Realizability Tripos for the Minimalist Foundation.

Maria Emilia Maietti Samuele Maschio

Published in: FLAP (2016)

Keyphrases

databases
decision making
data sets
digital libraries
viewpoint
management system
theoretical foundation