Jaime Gaspar

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 1

Top Topics

Scene Interpretation

Functional Analysis

Lagrange Interpolation

Top Venues

Ann. Pure Appl. Log.

IACR Cryptol. ePrint Arch.

Publications

Bruno Dinis, Jaime Gaspar
Intuitionistic nonstandard bounded modified realisability and functional interpretation. Ann. Pure Appl. Log. 169 (5) (2018)
Fernando Ferreira, Jaime Gaspar
Nonstandardness and the bounded functional interpretation. Ann. Pure Appl. Log. 166 (6) (2015)
Jaime Gaspar
All Triangles at Once. Am. Math. Mon. 122 (10) (2015)
Jaime Gaspar
in Coq. CICM Workshops (2014)
Jaime Gaspar, Eerke A. Boiten
Simple composition theorems of one-way functions - proofs and presentations. IACR Cryptol. ePrint Arch. 2014 (2014)
Jaime Gaspar
Non-recursive Polynomial Formula for the Sum of the Powers of the Integers. Am. Math. Mon. 121 (2) (2014)
Jaime Gaspar
Negative Translations Not Intuitionistically Equivalent to the Usual Ones. Stud Logica 101 (1) (2013)
Jaime Gaspar, Ulrich Kohlenbach
On Tao's "finitary" infinite pigeonhole principle. J. Symb. Log. 75 (1) (2010)
Jaime Gaspar, Paulo Oliva
Proof interpretations with truth. Math. Log. Q. 56 (6) (2010)
Jaime Gaspar
Factorization of the Shoenfield-like Bounded Functional Interpretation. Notre Dame J. Formal Log. 50 (1) (2009)