Jaime Gaspar

According to our database, Jaime Gaspar authored at least 11 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Transformation of cryptographic primitives: provable security and proof presentation.

Jaime Gaspar

PhD thesis, 2019

2018

Intuitionistic nonstandard bounded modified realisability and functional interpretation.

Bruno Dinis, Jaime Gaspar

Ann. Pure Appl. Log., 2018

2015

All Triangles at Once.

Jaime Gaspar

Am. Math. Mon., 2015

Nonstandardness and the bounded functional interpretation.

Fernando Ferreira, Jaime Gaspar

Ann. Pure Appl. Log., 2015

2014

Non-recursive Polynomial Formula for the Sum of the Powers of the Integers.

Jaime Gaspar

Am. Math. Mon., 2014

Simple composition theorems of one-way functions - proofs and presentations.

Jaime Gaspar, Eerke A. Boiten

IACR Cryptol. ePrint Arch., 2014

Short Introduction by Example to Coq and Formalising ZF ⊆ ZF_ε in Coq.

Jaime Gaspar

Proceedings of the Joint Proceedings of the MathUI, 2014

2013

Negative Translations Not Intuitionistically Equivalent to the Usual Ones.

Jaime Gaspar

Stud Logica, 2013

2010

Proof interpretations with truth.

Jaime Gaspar, Paulo Oliva

Math. Log. Q., 2010

On Tao's "finitary" infinite pigeonhole principle.

Jaime Gaspar, Ulrich Kohlenbach

J. Symb. Log., 2010

2009

Factorization of the Shoenfield-like Bounded Functional Interpretation.

Jaime Gaspar

Notre Dame J. Formal Log., 2009