Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > A Unifying Framework for Type Inhabitation
Publication

Publications

A Unifying Framework for Type Inhabitation

Title
A Unifying Framework for Type Inhabitation
Type
Article in International Conference Proceedings Book
Year
2018
Authors
Sandra Alves
(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
Scientific classification
CORDIS: Physical sciences > Computer science
FOS: Natural sciences ; Natural sciences > Computer and information sciences
Other information
Authenticus ID: P-00N-ZSX
Language: English
Type (Professor's evaluation): Scientific
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

A short note on type-inhabitation: Formula-trees vs. game semantics (2015)
Article in International Scientific Journal
Alves, S; Broda, S
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 Typed Language for Events (2015)
Article in International Conference Proceedings Book
Sandra Alves; Broda, S; Maribel Fernández
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 16:33:35 | Privacy Policy | Personal Data Protection Policy | Whistleblowing