BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Academic documents

Document subtype
Master's dissertation

Title
Bar recursion with abstract types. A study on the bounded functional interpretation.

Participants in the publication
João Mira da Silva (Author)
Fernando Ferreira (Adviser)
Dep. Matemática
 CMAFcIO
 João Rasga (Co-adviser)
INSTITUTO SUPERIOR TÉCNICO
Date of Publication
2021-12-21

Institution
INSTITUTO SUPERIOR TÉCNICO

Publication Identifiers

Number of pages
70


Export

APA
João Mira da Silva, (2021). Bar recursion with abstract types. A study on the bounded functional interpretation.. Fernando Ferreira, João Rasga,

IEEE
João Mira da Silva, "Bar recursion with abstract types. A study on the bounded functional interpretation.", 2021.

BIBTEX
@MastersThesis{54720, author = {João Mira da Silva}, title = {Bar recursion with abstract types. A study on the bounded functional interpretation.}, school = {INSTITUTO SUPERIOR TÉCNICO}, year = {2021}, OPTtype = {Documentos Académicos}, OPTmonth = {Dec} }