Add L3 internship report to /research
This commit is contained in:
parent
039068f4a2
commit
a83ec2fd18
1 changed files with 15 additions and 0 deletions
|
@ -25,6 +25,12 @@ authors:
|
||||||
cseger:
|
cseger:
|
||||||
name: "C-J. Seger"
|
name: "C-J. Seger"
|
||||||
page: "https://www.chalmers.se/en/Staff/Pages/secarl.aspx"
|
page: "https://www.chalmers.se/en/Staff/Pages/secarl.aspx"
|
||||||
|
gwinskel:
|
||||||
|
name: "G. Winskel"
|
||||||
|
page: "https://www.cl.cam.ac.uk/~gw104/"
|
||||||
|
pclairambault:
|
||||||
|
name: "P. Clairambault"
|
||||||
|
page: "http://perso.ens-lyon.fr/pierre.clairambault/"
|
||||||
|
|
||||||
publications:
|
publications:
|
||||||
- authors:
|
- authors:
|
||||||
|
@ -78,6 +84,15 @@ unpublished:
|
||||||
links:
|
links:
|
||||||
- name: PDF
|
- name: PDF
|
||||||
url: '/m1/internship.pdf'
|
url: '/m1/internship.pdf'
|
||||||
|
- with:
|
||||||
|
- gwinskel
|
||||||
|
- pclairambault
|
||||||
|
title: "Concurrent games as event structures"
|
||||||
|
freetext: "internship report, Bachelor's Degree 3st year, at Cambridge, UK"
|
||||||
|
links:
|
||||||
|
- name: PDF
|
||||||
|
url: '/l3/report.pdf'
|
||||||
|
|
||||||
---
|
---
|
||||||
|
|
||||||
## {{< fontawesome "file-text" >}} Publications
|
## {{< fontawesome "file-text" >}} Publications
|
||||||
|
|
Loading…
Reference in a new issue