Taylor expansion for Call-By-Push-Value.

Jules Chouquet, Christine Tasson

Browse the full CSL paper archive.