×

Found 88 Documents (Results 1–88)

An elementary recursive bound for effective Positivstellensatz and Hilbert’s 17th problem. (English) Zbl 1465.14001

Memoirs of the American Mathematical Society 1277. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-470-44108-1/pbk; 978-1-4704-5662-7/ebook). v, 125 p. (2020).

Logical relations and parametricity – a Reynolds programme for category theory and programming languages. (English) Zbl 1337.68052

Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 149-180, electronic only (2014).
MSC:  68N15 68N30 68-02
Full Text: DOI

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software