Você está em: Start > Publications > View > 25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway.
Map of Premises
Publications
25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway.
Title
25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway.
Type
International Conference Proceedings Book
Year
2019
Conference International
25th International Conference on Types for Proofs and Programs, TYPES 2019
11 June 2019 through 14 June 2019
Other information
Language:
English
Type (Professor's evaluation):
Scientific
ISBN:
978-3-95977-158-0
Collection:
LIPIcs
Vol.:
175
Documents
We could not find any documents associated to the publication.
Publications included
Article in International Conference Proceedings Book
Sandra Alves (Author) (FCUP); Kesner, D (Author) (Other); Ventura, D (Author) (Other)
2019
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
Page created on: 2025-08-09 at 02:37:20 | Privacy Policy | Personal Data Protection Policy | Whistleblowing
Page created on: 2025-08-09 at 02:37:20 | Privacy Policy | Personal Data Protection Policy | Whistleblowing