Login / Signup
Functional Extensionality for Refinement Types.
Niki Vazou
Michael Greenberg
Published in:
CoRR (2021)
Keyphrases
</>
artificial intelligence
object recognition
database
real time
social networks
knowledge base
image processing
wide range
digital libraries
artificial neural networks