[Back]


Talks and Poster Presentations (with Proceedings-Entry):

E. Jiresch, B. Gramlich:
"Realizing Monads in Interaction Nets via Generic Typed Rules";
Talk: TAMC 2012, Peking; 2012-05-16 - 2012-05-21; in: "Proceedings of the 9th annual conference on Theory and Applications of Models of Computation (TAMC 2012)", M. Agrawal et al. (ed.); Springer, LNCS 7287 (2012), ISBN: 978-3-642-29951-3; 509 - 524.


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