Jaime Gaspar

发表

Transformation of cryptographic primitives: provable security and proof presentation

Jaime Gaspar, Jaime Gaspar, 2019 .

Factorization of the Shoenfield-like Bounded Functional Interpretation

Jaime Gaspar, 2009, Notre Dame J. Formal Log..

Structure and enumeration theorems for hereditary properties in finite relational languages

Jaime Gaspar, Bruno Dinis, 2018, Ann. Pure Appl. Log..

On Tao's “finitary” infinite pigeonhole principle

Ulrich Kohlenbach, Jaime Gaspar, U. Kohlenbach, 2010, The Journal of Symbolic Logic.

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

Jaime Gaspar, 2014, CICM Workshops.

All Triangles at Once

Jaime Gaspar, 2015, Am. Math. Mon..

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

Jaime Gaspar, 2014, Am. Math. Mon..

Proof interpretations with truth

Paulo Oliva, Jaime Gaspar, 2010, Math. Log. Q..

Nonstandardness and the bounded functional interpretation

Fernando Ferreira, Jaime Gaspar, 2015, Ann. Pure Appl. Log..

Negative Translations Not Intuitionistically Equivalent to the Usual Ones

Jaime Gaspar, 2013, Stud Logica.

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

Eerke A. Boiten, Jaime Gaspar, E. Boiten, 2014, IACR Cryptol. ePrint Arch..