The Peirce Translation and the Double Negation Shift

Martin Escardo; P Oliva; F Ferreira; B Lowe; E Mayordomo; LM Gomes

doi:10.1007/978-3-642-13962-8_17

The Peirce Translation and the Double Negation Shift

Research output: Contribution to conference (unpublished) › Paper

Authors

P Oliva
F Ferreira
B Lowe
E Mayordomo
LM Gomes

Colleges, School and Institutes

Computer Science

Details

Original language	English
Pages	151-161
Number of pages	11
Publication status	Published - 1 Jan 2010

Save citation Saved citations (0)

View graph of relations

DOI

https://doi.org/10.1007/978-3-642-13962-8_17
Final published version

By the same authors

Partial Elements and Recursion via Dominances in Univalent Type Theory

Martin Escardo, Sep 2017, Proceedings of 26th EACSL Annual Conference on Computer Science Logic (CSL2017). Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl, 16 p. 21. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 82).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Parametricity, automorphisms of the universe, and excluded middle

Martin Escardo, 27 Jun 2017, Proceedings of 22nd International Conference on Types for Proofs and Programs, TYPES 2016. Schloss Dagstuhl, 15 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution