Search Results - "Normalisation"

Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5

    Normalisation by evaluation for dependent types by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2016
    Subjects: “…Normalisation by evaluation…”
    Get full text
  6. 6

    Normalisation by evaluation for type theory, in type theory by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2017
    Subjects: “…normalisation by evaluation; dependent types; internal type theory; logical relations; Agda…”
    Get full text
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11

    Citizens who inject drugs: the 'Fitpack' study by Lenton, Simon, Kerry, K., Tan-Quigley, A., Greig, R.

    Published 2000
    Subjects: “…drug - injecting - needles - needle exchange - pharmacy - health aspects - legal aspects - social aspects - harm reduction - policy - public attitudes - advocacy - HIV - AIDS - dependence - crime - deviance - normalisation - stigma…”
    Get full text
  12. 12
  13. 13
  14. 14
  15. 15

    A unified approach to the Clenshaw summation and the recursive computation of very high degree and order normalised associated Legendre functions by Holmes, S., Featherstone, Will

    Published 2002
    Subjects: “…Spherical Harmonic Expansions - Fully Normalised Associated Legendre Functions - Clenshaw Summation - Recursion - Horner's Scheme…”
    Get full text
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20