Adjunction models for call-by-push-value with stacks. Levy, Paul Blain — 2005 Theory and Applications of Categories [electronic only]
Knotted Hamiltonian cycles in spatial embeddings of complete graphs. Blain, Paul; Bowlin, Garry; Foisy, Joel; Hendricks, Jacob; LaCombe, Jason — 2007 The New York Journal of Mathematics [electronic only]