Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Proof as Stories

Chris
October 16, 2015

Proof as Stories

Chris

October 16, 2015
Tweet

More Decks by Chris

Other Decks in Research

Transcript

  1. View Slide

  2. View Slide

  3. 3

    View Slide

  4. 4

    View Slide

  5. 5

    View Slide

  6. 6

    View Slide

  7. 7

    View Slide

  8. 8

    View Slide

  9. 9

    View Slide

  10. 10

    View Slide

  11. 11

    View Slide

  12. 12

    View Slide

  13. 13

    View Slide

  14. 14

    View Slide

  15. 15

    View Slide

  16. 16

    View Slide

  17. 17

    View Slide

  18. 18

    View Slide

  19. 19

    View Slide

  20. 20

    View Slide

  21. 21

    View Slide

  22. 22

    View Slide

  23. xkcd.com/657
    23

    View Slide

  24. 24

    View Slide

  25. 25

    View Slide

  26. 26

    View Slide

  27. 27

    View Slide

  28. 28

    View Slide

  29. 29

    View Slide

  30. 30

    View Slide

  31. 31

    View Slide

  32. 32

    View Slide

  33. 33

    View Slide

  34. 34

    View Slide

  35. 35

    View Slide

  36. 36

    View Slide

  37. 37

    View Slide

  38. View Slide

  39. Related Work
    39

    View Slide

  40. Related Work
    40

    View Slide

  41. 41
    If narratives have several parts,

    what are they,

    and how do they connect to one another?

    View Slide

  42. Ceptre
    42
    stage = set of rules

    r : A -o B

    !
    program =

    set of stages

    + stage control flow

    + initial state

    6 6¶
    6R6¶

    U6R6¶


    Q

    /RJLF3URJUDP
    LQLWLDOVWDWH

    View Slide

  43. Linear Logic Programming
    43
    signature: set of rules

    program: signature + initial state
    6 6¶
    6R6¶

    U6R6¶


    Q

    /RJLF3URJUDP
    LQLWLDOVWDWH

    View Slide