Elementary explicit types and polynomial time operations

TitleElementary explicit types and polynomial time operations
Publication TypeJournal Article
Year of Publication2009
AuthorsSpescha, D, Strahm, T
JournalMathematical Logic Quarterly
Volume55
Pagination245-258
URLhttp://www.iam.unibe.ch/ltgpub/2009/ss09a.pdf