Peng Fu

Publications

• On the Lambek Embedding and the Category of Product-Preserving Presheaves. Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger. 2022.
• Linear Dependent Type Theory for Quantum Programming Languages. Peng Fu, Kohei Kishida, Peter Selinger. 2022.
• A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger. 2020.
• Dependently Typed Folds for Nested Data Types. Peng Fu, Peter Selinger. 2018.
• A Type Checking Algorithm for Higher-Rank, Impredicative and Second-Order Types. Peng Fu. 2017.
• Representing Nonterminating Rewriting With 𝐅_2^Μ. Peng Fu. 2017.