Showing 1 - 20 results of 491 for search '"dagger"', query time: 0.14s Refine Results
  1. 1

    The dagger lambda calculus by Philip Atzemoglou

    Published 2014-12-01
    “…Proofs of subject reduction, confluence, strong normalisation and consistency are provided, and the language is shown to be an internal language for dagger compact categories.…”
    Get full text
    Article
  2. 2

    Daggers of the Dangstetten type by Janka Istenič

    Published 2012-01-01
    Subjects: “…daggers; sheaths; augustan period; rivets; brass, dangstetten, the river ljubljanica…”
    Get full text
    Article
  3. 3

    Operation dagger : impact & impetus by Chong, De Xian

    Published 2016
    “…Codenamed “Operation Dagger”, it was an all-out police undertaking which aimed to “reduce the incidence of violent crime” and to “prevent secret society and gang fights” in Singapore. …”
    Get full text
    Final Year Project (FYP)
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9

    Dagger linear logic for categorical quantum mechanics by Robin Cockett, Cole Comfort, Priyaa Srinivasan

    Published 2021-11-01
    “…Categorical quantum mechanics exploits the dagger compact closed structure of finite dimensional Hilbert spaces, and uses the graphical calculus of string diagrams to facilitate reasoning about finite dimensional processes. …”
    Get full text
    Article
  10. 10
  11. 11
  12. 12

    The Meteoritic Origin of Morocco Iron Dagger Blades by Abderrahmane Ibhi, Lahcen Ouknine, Fouad Khiri, Ahmed Ait Touchnt, Hassan Nachit, Olga De Pascale, Giorgio S. Senesi

    Published 2022-06-01
    “…In this work, portable X-ray fluorescence (pXRF) and scanning electron microscopy-energy dispersive X-ray spectroscopy (SEM-EDS) have been used to analyze three iron dagger blades recovered in two localities near Imilchil and Missour in Morocco. …”
    Get full text
    Article
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17

    Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories by Bart Jacobs

    Published 2010-06-01
    “…This paper is a sequel to arXiv:0902.2355 and continues the study of quantum logic via dagger kernel categories. It develops the relation between these categories and both orthomodular lattices and Foulis semigroups. …”
    Get full text
    Article
  18. 18
  19. 19
  20. 20