The following pages link to Ki Yung Ahn (Q2798265):
Displayed 7 items.
- Executable Relational Specifications of Polymorphic Type Systems Using Prolog (Q2798266) (← links)
- Divergence and unique solution of equations (Q5111619) (← links)
- Quasi-Open Bisimilarity with Mismatch is Intuitionistic (Q5145273) (← links)
- (Q5155663) (← links)
- A hierarchy of mendler style recursion combinators (Q5176978) (← links)
- System F i (Q5300891) (← links)
- (Q5854731) (← links)