Metatheorems about Convertibility in Typed Lambda Calculi: Applications to CPS transform and "Free Theorems" (1997)

Cached

Download Links

by Jakov Kucan , Jakov Kucan
Citations:8 - 1 self