Login / Signup
The Agda Universal Algebra Library and Birkhoff's Theorem in Martin-Löf Dependent Type Theory.
William J. DeMeo
Published in:
CoRR (2021)
Keyphrases
</>
theoretical framework
von neumann
theoretical basis
boolean algebra
algebraic geometry
data model
set theory
theoretical foundation
general theory
real time
real world
multiscale
relational databases
programming language
multiple types
multi valued