Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Record link: 
http://hdl.handle.net/20.500.12708/54248
-
Title: 
Realizing Monads in Interaction Nets via Generic Typed Rules
-
Citation: 
Jiresch, E., & Gramlich, B. (2012). Realizing Monads in Interaction Nets via Generic Typed Rules. In M. Agrawal (Ed.), Proceedings of the 9th annual conference on Theory and Applications of Models of Computation (TAMC 2012) (pp. 509–524). Springer. http://hdl.handle.net/20.500.12708/54248
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Authors: 
Jiresch, Eugen 
Gramlich, Bernhard 
-
Organisational Unit: 
E192-05 - Forschungsbereich Theory and Logic 
-
Published in: 
Proceedings of the 9th annual conference on Theory and Applications of Models of Computation (TAMC 2012) 
-
Date (published): 
2012
-
Event name: 
TAMC 2012 
-
Event date: 
16-May-2012 - 21-May-2012
-
Event place: 
Peking, Non-EU
-
Number of Pages: 
16
-
Publisher: 
Springer, LNCS 7287
-
Peer reviewed: 
No
-
Research Areas: 
Computer Science Foundations: 100%
-
Science Branch: 
Informatik
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

150
checked on Nov 23, 2023

Google ScholarTM

Check