Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > A short note on type-inhabitation: Formula-trees vs. game semantics
Publication

Publications

A short note on type-inhabitation: Formula-trees vs. game semantics

Title
A short note on type-inhabitation: Formula-trees vs. game semantics
Type
Article in International Scientific Journal
Year
2015
Authors
Alves, S
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Broda, S
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page Without ORCID
Journal
Vol. 115
Pages: 908-911
ISSN: 0020-0190
Publisher: Elsevier
Scientific classification
FOS: Natural sciences > Computer and information sciences
Other information
Authenticus ID: P-00G-FE1
Abstract (EN): This short note compares two different methods for exploring type-inhabitation in the simply typed lambda-calculus, highlighting their similarities.
Language: English
Type (Professor's evaluation): Scientific
No. of pages: 4
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types (2019)
Article in International Conference Proceedings Book
Sandra Alves; Broda, S
Inhabitation machines: determinism and principality (2017)
Article in International Conference Proceedings Book
Sandra Alves; Broda, S
A Unifying Framework for Type Inhabitation (2018)
Article in International Conference Proceedings Book
Sandra Alves; Broda, S
A Typed Language for Events (2015)
Article in International Conference Proceedings Book
Sandra Alves; Broda, S; Maribel Fernández

Of the same scientific areas

YWeb – Plataforma de Criação de Templates para Marketing Online (2017)
Thesis
José Carlos Calhau Pinto
Visual Viper: a portable visualization library for streamlined scientific communications. (2023)
Thesis
Mariana Beatriz Nunes Canelas Pais
Utility-based Predictive Analytics (2018)
Thesis
Paula Alexandra de Oliveira Branco
Using clickstream data to analyze online purchase intentions (2015)
Thesis
Ricardo Filipe Fernandes e Costa Magalhães Teixeira
Users Satisfaction Regarding Nursing Information and Documentation In Electronic Health Records: A Study At The Health Centers Group Tâmega II – Vale Do Sousa Sul (2023)
Thesis
Carla Manuela Pinto Lourenço

See all (1858)

Of the same journal

Scalable Bloom Filters (2007)
Article in International Scientific Journal
Almeida, PS; Baquero, C; Preguica, N; Hutchison, D
Description and analysis of a bottom-up DFA minimization algorithm (2008)
Article in International Scientific Journal
Jorge Almeida; Marc Zeitoun
A counterexample to a conjecture concerning concatenation hierarchies (2009)
Article in International Scientific Journal
Jorge Almeida; Ondrej Klima
Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-14 at 20:37:30 | Privacy Policy | Personal Data Protection Policy | Whistleblowing