Login / Signup
Characterisation of Normalisation Properties for λμ using Strict Negated Intersection Types.
Steffen van Bakel
Published in:
ACM Trans. Comput. Log. (2018)
Keyphrases
</>
desirable properties
multiscale
wide range
structural properties
multimedia
multiresolution
specific features