Proof as Stories

B6ff5f798c18a3367b2770aa3ada0730?s=47 Chris
October 16, 2015
Research
2
420

Proof as Stories

Abstract: http://www.cs.cmu.edu/~cmartens/uconn-abstract.txt

B6ff5f798c18a3367b2770aa3ada0730?s=128

Chris

October 16, 2015
Tweet

More Decks by Chris

See All by Chris
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
0
150
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
2
620
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
1
74
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
0
1.8k
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
1
1.7k
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
0
2.5k
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
1
120
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
2
630
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
2
140

Other Decks in Research

See All in Research
8c89d680ec23fdcecb8524130e4eb582?s=48 racterub
0
110
944a10f2c7ba844b2bfc7b7f624b204c?s=48 lwug
0
490
D7ef5177ffe7ddec8dc5e11547963f99?s=48 motokimura
2
460
45738d2f4c750807ae73a5298a462c2d?s=48 ritsu2891
0
200
7b3e0dbc0d712ad5df602d9f9e5e4209?s=48 sei88888
0
350
6325a9b34da54d5cbddb814c3987a2fe?s=48 chokkan
0
2.6k
6325a9b34da54d5cbddb814c3987a2fe?s=48 chokkan
0
2.9k
F26c65b4ad90e281e3d866f466783201?s=48 bo0om
0
590
908674822b03df676ea84b17f6057586?s=48 t2kasa
1
590
7b3e0dbc0d712ad5df602d9f9e5e4209?s=48 sei88888
4
800
Cef25a38df4639275be8726a6d5f1906?s=48 shiftpn
1
1k
A182964bc0a261a5fc8bb207d660c743?s=48 diracdiego
1
700

Featured

See All Featured
A415db3ac9e9668acbc1fb36eead84ac?s=48 mthomps
37
2.2k
5b6a2bd86ef643786a381a212e0ef2f1?s=48 geoffreycrofte
11
510
Aebc2d07a50011e2a30d38435fde564a?s=48 jrom
113
7k
433acaea1012b25d97ae66da9b998dad?s=48 malarkey
191
8.3k
79acae287842acf29084005533a7fb3b?s=48 hursman
104
9.1k
Af6a12710770ad9a7cfd08c97efd40d3?s=48 pedronauck
649
110k
F29327647a9cff5c69618bae420792ea?s=48 tenderlove
49
3.3k
32de0bd2ba869609d26fd052a4622778?s=48 cromwellryan
101
5.8k
Eb8975af8e49e19e3dd6b6b84a542e26?s=48 qrush
283
18k
C1daf20e5c49ff910745198ef9869ac2?s=48 hatefulcrawdad
257
16k
462dad0dd24c568a32dcdb0ae895ae1b?s=48 rasmusluckow
316
18k
Ecdea9b9714877b86cee08458f085481?s=48 trallard
10
440

Transcript

  1. None
  2. None

  3. 3

  4. 4

  5. 5

  6. 6

  7. 7

  8. 8

  9. 9

  10. 10

  11. 11

  12. 12

  13. 13

  14. 14

  15. 15

  16. 16

  17. 17

  18. 18

  19. 19

  20. 20

  21. 21

  22. 22

  23. xkcd.com/657 23

  24. 24

  25. 25

  26. 26

  27. 27

  28. 28

  29. 29

  30. 30

  31. 31

  32. 32

  33. 33

  34. 34

  35. 35

  36. 36

  37. 37

  38. None

  39. Related Work 39

  40. Related Work 40

  41. 41 If narratives have several parts, what are they, and

    how do they connect to one another?

  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

  43. Linear Logic Programming 43 signature: set of rules program: signature

    + initial state 6 6¶ 6R6¶  U6R6¶    Q  /RJLF3URJUDP LQLWLDOVWDWH