Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. | 0 | 0.34 | 2015 |
| NOMINAL COALGEBRAIC DATA TYPES WITH APPLICATIONS TO LAMBDA CALCULUS | 9 | 0.62 | 2013 |
| An Alpha-Corecursion Principle for the Infinitary Lambda Calculus. | 3 | 0.38 | 2012 |