Reasearch

Publications

Workshop Papers

• Kerinec, Sogaard, Braud: "When does deep multi-task learning work for loosely related document classification tasks?"

Journal Papers

• Kerinec, Manzonetto, Pagani: "Revisiting Call-by-Value Böhm trees in light of their Taylor expansion"

Conference Papers

• Kerinec, Manzonetto, Olimpieri: "Why are proofs relevant in proof-relevant models?"
• Kerinec, Manzonetto, Ronchi Della Rocca: "Call-By-Value, Again!"

Presentations