Similar Items: A System F accounting for scalars
- Scalar and Vectorial mu-calculus with Atoms
- Presburger Arithmetic with algebraic scalar multiplications
- Bayesian Scalar-on-Image Regression with a Spatially Varying Single-layer Neural Network Prior
- On completeness and parametricity in the realizability semantics of System F
- Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic
- Accounting for Unintended Consequences in IS Research: A Call to Action