Coquand, T. (2021). Reduction Free Normalisation for a proof irrelevant type of propositions.
Cita Chicago Style (17a ed.)Coquand, Thierry. Reduction Free Normalisation for a Proof Irrelevant Type of Propositions. 2021.
Cita MLA (9a ed.)Coquand, Thierry. Reduction Free Normalisation for a Proof Irrelevant Type of Propositions. 2021.
Precaución: Estas citas no son 100% exactas.