Jaime da Gama Gaspar


AuthID: R-00H-T0S

Confirmed Publications: 1



1
TITLE: Intuitionistic nonstandard bounded modified realisability and functional interpretation  Full Text
AUTHORS: Bruno Dinis; Jaime Gaspar ;
SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 169, ISSUE: 5, PUBLISHED: 2018
INDEXED IN: Scopus WOS CrossRef: 1

A place for researchers and their institutions

Useful Links

Get Help

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