BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Book chapters


Title
Bounded functional interpretation with an abstract type

Participants in the publication
Fernando Ferreira (Author)
Dep. Matemática
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Patrícia Engrácia (Author)

Scope
International

Editor(s)
Adrian Rezus

Date of Publication
2020

Where published
Contemporary Logic and Computing

Publication Identifiers
ISBN - 9781848903401

Address
London, England

Publisher
College Publication

Collection
Landscapes in Logic

Edition
1
Volume
1

Number of pages
27
Starting page
87
Last page
112


Export

APA
Fernando Ferreira, Patrícia Engrácia, (2020). Bounded functional interpretation with an abstract type. Contemporary Logic and Computing, 87-112

IEEE
Fernando Ferreira, Patrícia Engrácia, "Bounded functional interpretation with an abstract type" in Contemporary Logic and Computing, 2020, pp. 87-112

BIBTEX
@incollection{46749, author = {Fernando Ferreira and Patrícia Engrácia}, title = {Bounded functional interpretation with an abstract type}, booktitle = {Contemporary Logic and Computing}, year = 2020, pages = {87-112}, address = {London, England}, publisher = {College Publication} }