[Back]


Talks and Poster Presentations (without Proceedings-Entry):

F. Aschieri:
"Towards a concurrrent lambda calculus: via linear logic";
Talk: Workshop, Proof, Computation, Complexity, Stockholm; 2019-07-15 - 2019-07-19.


Created from the Publication Database of the Vienna University of Technology.