Dyfyniad APA

Kura, S. (2021). A General Semantic Construction of Dependent Refinement Type Systems, Categorically. Foundations of Software Science and Computation Structures.

Dyfyniad Arddull Chicago

Kura, Satoshi. "A General Semantic Construction of Dependent Refinement Type Systems, Categorically." Foundations of Software Science and Computation Structures 2021.

Dyfyniad MLA

Kura, Satoshi. "A General Semantic Construction of Dependent Refinement Type Systems, Categorically." Foundations of Software Science and Computation Structures 2021.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.