A proof-theoretic foundation of abortive continuations Journal Articles

authors

• Ariola, Zena M
• Herbelin, Hugo
• Sabry, Amr

status

• published 

publication date

• November 20, 2007

has subject area

• 0802 Computation Theory and Mathematics (FoR)
• 1702 Cognitive Sciences (FoR)
• Software Engineering (Science Metrix)

published in

• LISP and Symbolic Computation  Journal

keywords

• 46 Information and Computing Sciences
• 4612 Software Engineering
• 4613 Theory Of Computation

Digital Object Identifier (DOI)

• 10.1007/s10990-007-9007-z

start page

• 403

end page

• 429

volume

• 20

issue

• 4