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.