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

Details

Original languageEnglish
Pages151-161
Number of pages11
Publication statusPublished - 1 Jan 2010
Save citation Saved citations (0)

Copy the text from this field...

View graph of relations

DOI

By the same authors

Injective types in univalent mathematics

Martin Escardo, 26 Aug 2020, (Accepted/In press) In: Mathematical Structures in Computer Science. 28 p.

Research output: Contribution to journal › Article › peer-review

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

Notions of anonymous existence in Martin-Löf type theory

Martin Escardo, 24 Mar 2017, In: Logical Methods in Computer Science. 13, 1, p. 1-36 36 p., 15.

Research output: Contribution to journal › Article › peer-review

A constructive manifestation of the Kleene–Kreisel continuous functionals

Martin Escardo, 1 Sep 2016, In: Annals of Pure and Applied Logic. 167, 9, p. 770-793

Research output: Contribution to journal › Article › peer-review