papers, talks, & posters

COMEPLS PRESENTATION: Categorical Semantics and Adjoint Proto-Quipper

COMP400 RESEARCH PAPER: Structural Proto-Quipper: Mechanization of a Linear Quantum Programming Language in a Structural Setting.

TALK: Structural Proto-Quipper: Mechanization of a Linear Quantum Programming Language in a Structural Setting. [Eastern Canada Logic and Programming Seminar 2024]

POSTER: Structural Proto-Quipper: Mechanization of a Linear Quantum Programming Language in a Structural Setting. [Undergraduate Computer Science Research Symposium] [Quantum – Science, Information, Technology, and Engineering Conference Toronto]

LLCU255 RESEARCH PAPER: The Poet Who Couldn’t Know It: How ChatGPT’s Imitation of Poetry Differs From the Real Thing