Ramyaa Ramyaa

Available identifiers

zbMath Open ramyaa.ramyaaMaRDI QIDQ2949455

List of research outcomes

Publication	Date of Publication	Type
Implicit complexity for coinductive data: a characterization of corecurrence	2021-03-17	Paper
Short refutations for an equivalence-chain principle for constant-depth formulas	2020-05-11	Paper
Denotational cost semantics for functional languages with inductive types	2017-05-10	Paper
Computing with a fixed number of pointers (invited talk)	2017-02-21	Paper
Ramified Corecurrence and Logspace	2016-07-15	Paper
The computational contents of ramified corecurrence	2015-10-01	Paper
Pure Pointer Programs and Tree Isomorphism	2013-03-18	Paper
Feasible functions over co-inductive data	2010-09-29	Paper

Research outcomes over time

This page was built for person: Ramyaa Ramyaa