COMPUTABLE ANALYSIS AND NOTIONS OF CONTINUITY IN COQ.

Saved in:

Bibliographic Details
Title:	COMPUTABLE ANALYSIS AND NOTIONS OF CONTINUITY IN COQ.
Authors:	STEINBERG, FLORIAN¹, THÉRY, LAURENT², THIES, HOLGER³
Source:	Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 2, p1-43, 43p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.23638/LMCS-17(2:16)2021