Gabe Dijkstra

Orcid: 0000-0003-2131-0182

According to our database¹, Gabe Dijkstra authored at least 3 papers between 2016 and 2018.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2018

Quotient Inductive-Inductive Types.

[DOI]

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

2017

Quotient inductive-inductive definitions.

[DOI]

PhD thesis, 2017

2016

Quotient inductive-inductive types.

[DOI]

CoRR, 2016