Vol-1948⫷ Vol-1949 ⫸Vol-1950
urn:nbn:de:0074-1949-0


Vol-1949/ICTCSpaper05⫷Vol-1949/ICTCSpaper06⫸Vol-1949/ICTCSpaper07

Effectful Applicative Similarity for Call-by-Name Lambda Calculi