Login / Signup
Leibniz equality is isomorphic to Martin-Löf identity, parametrically.
Andreas Abel
Jesper Cockx
Dominique Devriese
Amin Timany
Philip Wadler
Published in:
J. Funct. Program. (2020)
Keyphrases
</>
identity management
deformable contour
probability density function
information systems
real time
optimal parameters
database systems
artificial intelligence
decision trees
genetic algorithm
face recognition
relational databases
medical images
information retrieval
machine learning
real world
database