Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Interactive Realizers: A New Approach to Program Extraction from Nonconstructive Proofs | 6 | 0.57 | 2012 |
| Typing Asymmetric Client-Server Interaction | 2 | 0.38 | 2009 |
| Logical Equivalence for Subtyping Object and Recursive Types | 6 | 0.51 | 2008 |
| Subtyping Object and Recursive Types Logically | 1 | 0.36 | 2005 |