Jaime da Gama Gaspar


AuthID: R-00H-T0S

Confirmed Publications: 14



1
TITLE: Hardwiring truth in functional interpretations
AUTHORS: Dinis, Bruno; Gaspar, Jaime ;
PUBLISHED: 2023, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 80, ISSUE: 1-2
INDEXED IN: Scopus WOS CrossRef Unpaywall
2
TITLE: Transformation of cryptographic primitives: provable security and proof presentation
AUTHORS: Jaime Gaspar ;
PUBLISHED: 2019, SOURCE: British Library, EThOS
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
3
TITLE: Intuitionistic nonstandard bounded modified realisability and functional interpretation  Full Text
AUTHORS: Dinis, B; Gaspar, J ;
PUBLISHED: 2018, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 169, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 4 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
4
TITLE: Proof Without Words: Using Trapezoids to Compute Triangular Numbers
AUTHORS: Jaime Gaspar ;
PUBLISHED: 2018, SOURCE: Mathematics Magazine, VOLUME: 91, ISSUE: 3
INDEXED IN: Scopus CrossRef: 2 Unpaywall
5
TITLE: All Triangles at Once
AUTHORS: Jaime Gaspar ;
PUBLISHED: 2015, SOURCE: Am. Math. Mon., VOLUME: 122, ISSUE: 10
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
6
TITLE: Nonstandardness and the bounded functional interpretation  Full Text
AUTHORS: Ferreira, F; Gaspar, J ;
PUBLISHED: 2015, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 166, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
7
TITLE: Copies of classical logic in intuitionistic logic
AUTHORS: Jaime Gaspar ;
PUBLISHED: 2014, SOURCE: Philosophia Scientiae, VOLUME: 18, ISSUE: 3
INDEXED IN: Scopus CrossRef Unpaywall
IN MY: ORCID | CIÊNCIAVITAE
8
TITLE: Non-recursive Polynomial Formula for the Sum of the Powers of the Integers
AUTHORS: Jaime Gaspar ;
PUBLISHED: 2014, SOURCE: Am. Math. Mon., VOLUME: 121, ISSUE: 2
INDEXED IN: DBLP CrossRef: 1 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
9
TITLE: Short Introduction by Example to Coq and Formalising ZF ⊆ ZFε in Coq PDF
AUTHORS: Jaime Gaspar ;
PUBLISHED: 2014, SOURCE: Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014., VOLUME: 1186
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
10
TITLE: Simple composition theorems of one-way functions - proofs and presentations
AUTHORS: Jaime Gaspar ; Eerke A Boiten;
PUBLISHED: 2014, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2014
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 1 of 2. Total results: 14.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service