Login / Signup
Characterisation of Approximation and (Head) Normalisation for λμ using Strict Intersection Types.
Steffen van Bakel
Published in:
ITRS (2016)
Keyphrases
</>
real time
error bounds
database systems
model selection
closed form
approximation schemes