source:
Deliverables/Dissemination
@
3302
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
back-end | 3297 | 7 years | final version | ||
final-review | 3302 | 7 years | removed local verison for JHM's machine wp6.tex definitive | ||
front-end | 3285 | 7 years | Renaming and moving | ||
proof-structured-traces | 2945 | 7 years | Minor tweak. | ||
fetopen.png | 138.1 KB | 2558 | 7 years | r | |
funcca-slide.pdf | 438.0 KB | 2586 | 7 years | r | |
labelling-approach-slide.pdf | 480.1 KB | 2584 | 7 years | * Update slides. | |
README | 3.3 KB | 2577 | 7 years | abstract of indexed labels talk |
Note: See TracBrowser
for help on using the repository browser.