Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory.

Published in: CoRR (2018)

Keyphrases

theoretical framework
information retrieval
theoretical basis
formal analysis
building blocks
database
decision making
expert systems
computational model
conceptual framework
general theory
formal theory