Hyvernat, P. (2021). Representing Continuous Functions between Greatest Fixed Points of Indexed Containers. Logical Methods in Computer Science e.V.
Chicago Style (17th ed.) CitationHyvernat, Pierre. Representing Continuous Functions Between Greatest Fixed Points of Indexed Containers. Logical Methods in Computer Science e.V, 2021.
MLA (9th ed.) CitationHyvernat, Pierre. Representing Continuous Functions Between Greatest Fixed Points of Indexed Containers. Logical Methods in Computer Science e.V, 2021.
Warning: These citations may not always be 100% accurate.