An abstract monadic semantics for value recursion Conferences

authors

• Moggi, Eugenio
• Sabry, Amr

status

• published 

publication date

• October 2004

has subject area

• 0103 Numerical and Computational Mathematics (FoR)
• 0802 Computation Theory and Mathematics (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• RAIRO - Theoretical Informatics and Applications  Journal

presented at event

• 5th Satellite Workshop on Fixed Points in Computer Science (FICS 03)  Conference

keywords

• CALCULUS
• Computer Science
• Computer Science, Theory & Methods
• Mathematics
• Mathematics, Applied
• Physical Sciences
• RECORD SEMANTICS
• Science & Technology
• Technology

Digital Object Identifier (DOI)

• 10.1051/ita:2004018

start page

• 375

end page

• 400

volume

• 38

issue

• 4