Reasoning Continuously: A Formal Construction of Continuous Proofs.

Saved in:

Bibliographic Details
Title:	Reasoning Continuously: A Formal Construction of Continuous Proofs.
Authors:	Brunet, T. D. P.¹ (AUTHOR) tdpb2@cam.ac.uk, Fisher, E.² (AUTHOR)
Source:	Studia Logica. Dec2020, Vol. 108 Issue 6, p1145-1160. 16p.
Database:	Mathematics Source

Description
ISSN:	00393215
DOI:	10.1007/s11225-019-09892-z