S. C. Steenkamp

According to our database, S. C. Steenkamp authored at least 3 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Quotients, inductive types, and quotient inductive types.

Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp

Log. Methods Comput. Sci., 2022

2021

Constructing Initial Algebras Using Inflationary Iteration.

Andrew M. Pitts, S. C. Steenkamp

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

2020

Constructing Infinitary Quotient-Inductive Types.

Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp

Proceedings of the Foundations of Software Science and Computation Structures, 2020